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)
Modal Logic
Patrick Blackburn
In StockFree UK DeliveryEstimated delivery 2-3 working days
Format: Book (Paperback / softback)
£82.99
£68.54
In StockFree UK DeliveryEstimated delivery 2-3 working days
Book (Paperback / softback)
Add to Basket
Basic Proof Theory
A. S. (Universiteit van Amsterdam) Troelstra
In StockFree UK DeliveryEstimated delivery 2-3 working days
Format: Book (Paperback / softback)
£42.99
£37.81
In StockFree UK DeliveryEstimated delivery 2-3 working days
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)
£47.99
£40.85
Out of StockMore expected soonContact us for further information
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)
£45.99
£40.12
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)
£134.00
£108.40
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)
£36.99
£32.85
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Term Rewriting Systems
Terese
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£167.00
£133.70
Out of StockMore expected soonContact us for further information
Book (Hardback)
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)
£92.00
£74.66
Out of StockMore expected soonContact us for further information
Book (Hardback)
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)
£39.99
£34.36
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Epistemic Logic for AI and Computer Science
J.-J. Ch. (Universiteit Utrecht, The Netherlands) Meyer
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£32.99
£29.78
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Data Refinement : Model-Oriented Proof Methods and their Comparison
Willem-Paul (Christian-Albrechts Universitat zu Kiel, Germa de Roever
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£105.00
£85.42
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
Temporal Logics in Computer Science : Finite-State Systems
Stephane (Centre National de la Recherche Scientifique (CNRS), Demri
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£102.00
£83.12
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to Basket
Programs, Recursion and Unbounded Choice
Wim H. Hesselink
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£40.99
£36.27
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)
£40.99
£36.27
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)
£45.99
£40.12
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
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
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)
£40.99
£36.27
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)
£40.99
£36.27
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)
£42.99
£37.81
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Understanding Z : A Specification Language and its Formal Semantics
J. M. (University of Oxford) Spivey
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£32.99
£29.78
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)
£34.99
£30.53
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