Modal Logic
Patrick Blackburn
In Stock - usually despatched within 24 hours
Format: Book (Paperback / softback)
£86.99
£86.65
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)
Introduction to Coalgebra : Towards Mathematics of States and Observation
Bart (Radboud Universiteit Nijmegen) Jacobs
Out of stock
Format: Book (Hardback)
Epistemic Logic for AI and Computer Science
J.-J. Ch. (Universiteit Utrecht, The Netherlands) Meyer
Out of stock
Format: Book (Paperback / softback)
Data Refinement : Model-Oriented Proof Methods and their Comparison
Willem-Paul (Christian-Albrechts Universitat zu Kiel, Germa de Roever
Out of stock
Format: Book (Hardback)
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)
£107.00
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to BasketBasic Simple Type Theory
J. Roger (University of Wales, Swansea) Hindley
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)
Predicate Transformer Semantics
Ernest. G. (University of Massachusetts, Amherst) Manes
Out of stock
Format: Book (Paperback / softback)
Action Semantics
Peter D. (Aarhus Universitet, Denmark) Mosses
Out of stock
Format: Book (Paperback / softback)
Updating Logical Databases
Marianne (University of Illinois, Urbana-Champaign) Winslett
Out of stock
Format: Book (Paperback / softback)
The Optimal Implementation of Functional Programming Languages
Andrea (Universita degli Studi, Bologna, Italy) Asperti
Out of stock
Format: Book (Hardback)
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)
Process Algebra: Equational Theories of Communicating Processes
J. C. M. (Technische Universiteit Eindhoven, The Netherlands) Baeten
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£86.99
£86.65
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to BasketRippling: 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)
Understanding Z : A Specification Language and its Formal Semantics
J. M. (University of Oxford) Spivey
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)