Topological Duality for Distributive Lattices : Theory and Applications
Mai (Universite Cote d’Azur) Gehrke
Download - Immediately Available
Format: eBook (PDF)
Modal Logic
Patrick Blackburn
In Stock - usually despatched within 24 hours
Format: Book (Paperback / softback)
Basic Proof Theory
A. S. (Universiteit van Amsterdam) Troelstra
In Stock - usually despatched within 24 hours
Format: Book (Paperback / softback)
£42.99
£42.35
In Stock - usually despatched within 24 hours
Book (Paperback / softback)
Add to BasketDerivation and Computation : Taking the Curry-Howard Correspondence Seriously
H. (University of Manchester) Simmons
In Stock - usually despatched within 24 hours
Format: Book (Hardback)