Basic Proof Theory
A. S. (Universiteit van Amsterdam) Troelstra
In StockFree UK DeliveryEstimated delivery 2-3 working days
Format: Book (Paperback / softback)
£44.99
£39.34
In StockFree UK DeliveryEstimated delivery 2-3 working days
Book (Paperback / softback)
Add to Basket
Topology via Logic
Steven (Imperial College of Science, Technology and Medicine, Vickers
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£47.99
£41.65
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Lambda-calculus, Combinators and Functional Programming
G. E. Revesz
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£49.99
£42.38
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Computational Learning Theory
M. H. G. (London School of Economics and Political Science) Anthony
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£41.99
£36.25
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Formal Specification and Design
L. M. G. Feijs
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£47.99
£41.65
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Metamathematics, Machines and Godel's Proof
N. (SRI International, USA) Shankar
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£42.99
£37.02
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Formal Semantics and Pragmatics for Natural Language Querying
James Clifford
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£42.99
£37.81
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Algorithmic Information Theory
Gregory. J. Chaitin
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£47.99
£40.85
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Predicate Transformer Semantics
Ernest. G. (University of Massachusetts, Amherst) Manes
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£51.99
£44.71
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Action Semantics
Peter D. (Aarhus Universitet, Denmark) Mosses
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£51.99
£44.71
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Programs, Recursion and Unbounded Choice
Wim H. Hesselink
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£42.99
£37.81
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Nets, Terms and Formulas : Three Views of Concurrent Processes and their Relationship
E. -R. (Carl V. Ossietzky Universitat Oldenburg, Germany) Olderog
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£42.99
£37.81
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Two-Level Functional Languages
Flemming (Aarhus Universitet, Denmark) Nielson
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£47.99
£41.65
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
The Logic of Typed Feature Structures : With Applications to Unification Grammars, Logic Programs and Constraint Resolution
Robert L. (Carnegie Mellon University, Pennsylvania) Carpenter
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£42.99
£37.81
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Deductive and Declarative Programming
Peter Padawitz
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£42.99
£37.81
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
The Uncertain Reasoner's Companion : A Mathematical Perspective
J. B. (University of Manchester) Paris
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£44.99
£39.34
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Mathematical Theory of Domains
V. (Uppsala Universitet, Sweden) Stoltenberg-Hansen
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£50.99
£43.66
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Information Flow : The Logic of Distributed Systems
Jon (Indiana University) Barwise
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£53.99
£45.45
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Algebraic Specification of Communication Protocols
S. (Technische Universiteit Eindhoven, The Netherlands) Mauw
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£40.99
£35.49
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Concurrency Verification : Introduction to Compositional and Non-compositional Methods
Willem-Paul de (Christian-Albrechts Universitat zu Kiel, Germa Roever
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£49.99
£43.18
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Nominal Sets : Names and Symmetry in Computer Science
Andrew M. (University of Cambridge) Pitts
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£54.99
£46.73
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket