Search Results - Foundations of computing - Books - The MIT Press
Licence From
£160.00
Special order line: only available to educational & business accounts. Sign In

From logic to logic programming

Ebook 11 Jan 1994
Publisher The MIT Press
ISBN: 9780262288477
Dewey: 005.131
Licence From
£96.00
Special order line: only available to educational & business accounts. Sign In
Licence From
£160.00
Special order line: only available to educational & business accounts. Sign In

Algebraic semantics of imperative programs

Ebook 22 May 1996
Publisher The MIT Press
ISBN: 9780262288453
Dewey: 005.131
Licence From
£90.00
Special order line: only available to educational & business accounts. Sign In

Logic and information flow

Ebook 6 May 1994
Publisher The MIT Press
ISBN: 9780262292726
Dewey: 511.3
Title Unavailable: Withdrawn

Dynamic logic

Ebook 29 Sep 2000
Publisher The MIT Press
ISBN: 9780262263023
Dewey: 004.015113
Title Unavailable: Withdrawn
Title Unavailable: Withdrawn

Proof, Language, and Interaction - Essays in Honour of Robin Milner

Online resource 8 May 2000
Publisher The MIT Press
ISBN: 9780262281676
Dewey: 004
Licence From
£160.00
Special order line: only available to educational & business accounts. Sign In

Logic and Information Flow

Online resource 6 May 1994
Publisher The MIT Press
ISBN: 9780262285421
Dewey: 511.3
Licence From
£100.00
Special order line: only available to educational & business accounts. Sign In

Basic Category Theory for Computer Scientists

EA 7 Aug 1991
Publisher The MIT Press
ISBN: 9780262326452
Dewey: 512.550880904
Licence From
£70.00
Special order line: only available to educational & business accounts. Sign In

Dynamic Logic

Online resource 29 Sep 2000
Publisher The MIT Press
ISBN: 9780262274951
Dewey: 004.015113
Licence From
£120.00
Special order line: only available to educational & business accounts. Sign In
Page 1 of 1