Basic Proof Theory
A. S. (Universiteit van Amsterdam) Troelstra
In Stock - usually despatched within 24 hours
Format: Book (Paperback / softback)
£44.99
£42.45
In Stock - usually despatched within 24 hours
Book (Paperback / softback)
Add to BasketTopological Duality for Distributive Lattices : Theory and Applications
Mai (Universite Cote d’Azur) Gehrke
Out of stock
Format: Book (Hardback)
Topology via Logic
Steven (Imperial College of Science, Technology and Medicine, Vickers
Out of stock
Format: Book (Paperback / softback)
Introduction to Coalgebra : Towards Mathematics of States and Observation
Bart (Radboud Universiteit Nijmegen) Jacobs
Out of stock
Format: Book (Hardback)
Basic Simple Type Theory
J. Roger (University of Wales, Swansea) Hindley
Out of stock
Format: Book (Hardback)
Free Choice Petri Nets
Jorg (Humboldt-Universitat zu Berlin) Desel
Out of stock
Format: Book (Paperback / softback)
£80.00
£70.25
Item not Available
Book (Hardback)
Logic and Computation : Interactive Proof with Cambridge LCF
Lawrence C. (University of Cambridge) Paulson
Out of stock
Format: Book (Paperback / softback)
Hybrid Graph Theory and Network Analysis
Ladislav (University of Novi Sad, Yugoslavia) Novak
Out of stock
Format: Book (Hardback)
Belief Revision
Peter (Lunds Universitet, Sweden) Gardenfors
Out of stock
Format: Book (Paperback / softback)
Theoretical Foundations of VLSI Design
K. (University of Leeds) McEvoy
Out of stock
Format: Book (Paperback / softback)
Information Flow : The Logic of Distributed Systems
Jon (Indiana University) Barwise
Out of stock
Format: Book (Hardback)
Metamathematics, Machines and Godel's Proof
N. (SRI International, USA) Shankar
Out of stock
Format: Book (Paperback / softback)
Domains and Lambda-Calculi
Roberto M. (Universite de Provence) Amadio
Out of stock
Format: Book (Hardback)
Derivation and Computation : Taking the Curry-Howard Correspondence Seriously
H. (University of Manchester) Simmons
In Stock - usually despatched within 24 hours
Format: Book (Hardback)
Rippling: Meta-Level Guidance for Mathematical Reasoning
Alan (University of Edinburgh) Bundy
Out of stock
Format: Book (Hardback)
Extensions of First-Order Logic
Maria (Universitat de Barcelona) Manzano
Out of stock
Format: Book (Paperback / softback)
Basic Simple Type Theory
J. Roger (University of Wales, Swansea) Hindley
Out of stock
Format: Book (Paperback / softback)
Domains and Lambda-Calculi
Roberto M. (Universite de Provence) Amadio
Out of stock
Format: Book (Paperback / softback)
Mathematical Theory of Domains
V. (Uppsala Universitet, Sweden) Stoltenberg-Hansen
Out of stock
Format: Book (Paperback / softback)
Information Flow : The Logic of Distributed Systems
Jon (Indiana University) Barwise
Out of stock
Format: Book (Paperback / softback)
Hybrid Graph Theory and Network Analysis
Ladislav (University of Novi Sad, Yugoslavia) Novak
Out of stock
Format: Book (Paperback / softback)