Topological Duality for Distributive Lattices : Theory and Applications
Mai (Universite Cote d’Azur) Gehrke
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£64.99
£54.73
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
Topological Duality for Distributive Lattices : Theory and Applications
Mai (Universite Cote d’Azur) Gehrke
Download Now
Format: eBook (PDF)
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
Introduction to Coalgebra : Towards Mathematics of States and Observation
Bart (Radboud Universiteit Nijmegen) Jacobs
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£141.00
£113.76
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
Free Choice Petri Nets
Jorg (Humboldt-Universitat zu Berlin) Desel
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£38.99
£34.39
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Basic Simple Type Theory
J. Roger (University of Wales, Swansea) Hindley
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£96.99
£78.48
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
Extensions of First-Order Logic
Maria (Universitat de Barcelona) Manzano
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£36.99
£32.85
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Basic Simple Type Theory
J. Roger (University of Wales, Swansea) Hindley
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£36.99
£32.06
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Domains and Lambda-Calculi
Roberto M. (Universite de Provence) Amadio
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£38.99
£34.39
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
Hybrid Graph Theory and Network Analysis
Ladislav (University of Novi Sad, Yugoslavia) Novak
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£27.99
£25.16
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Higher Order Logic and Hardware Verification
T. F. (University of Glasgow) Melham
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£25.99
£23.63
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Logic and Computation : Interactive Proof with Cambridge LCF
Lawrence C. (University of Cambridge) Paulson
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£29.99
£27.48
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Hybrid Graph Theory and Network Analysis
Ladislav (University of Novi Sad, Yugoslavia) Novak
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£88.00
£72.38
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
Belief Revision
Peter (Lunds Universitet, Sweden) Gardenfors
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£27.99
£25.95
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Theoretical Foundations of VLSI Design
K. (University of Leeds) McEvoy
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£36.99
£32.85
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 (Hardback)
£65.99
£55.50
Out of StockMore expected soonContact us for further information
Book (Hardback)
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
Applications of Process Algebra
J. C. M. Baeten
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£85.99
£70.84
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
Domains and Lambda-Calculi
Roberto M. (Universite de Provence) Amadio
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£135.00
£109.16
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
Derivation and Computation : Taking the Curry-Howard Correspondence Seriously
H. (University of Manchester) Simmons
In StockFree UK DeliveryEstimated delivery 2-3 working days
Format: Book (Hardback)
£129.00
£103.82
In StockFree UK DeliveryEstimated delivery 2-3 working days
Book (Hardback)
Add to Basket