My Account
Log in Registration
All
Cart
Highlights
Fiction Books
Non-Fiction Books
Children's Books
Rare Books
Music
DVD & Blu-Ray
Video Games
Category
Wishlists
Cart
All
Free Shipping in the UK
Trustpilot
Proud to be B-Corp

Cambridge Tracts in Theoretical Computer Science Books

Topology via Logic By Steven Vickers (Imperial College of Science, Technology and Medicine, London)
Topology via Logicby Steven Vickers (Imperial College of Science, Technology and Medicine, London)
New
£40.19
Nominal Sets By Andrew M. Pitts (University of Cambridge)
Nominal Setsby Andrew M. Pitts (University of Cambridge)
New
£57.59
Basic Proof Theory By A. S. Troelstra (Universiteit van Amsterdam)
Basic Proof Theoryby A. S. Troelstra (Universiteit van Amsterdam)
New
£39.29
Modal Logic By Patrick Blackburn
Modal Logicby Patrick Blackburn
New
£72.79
Introduction to Coalgebra By Bart Jacobs (Radboud Universiteit Nijmegen)
Introduction to Coalgebraby Bart Jacobs (Radboud Universiteit Nijmegen)
New
£131.99
Action Semantics By Peter D. Mosses (Aarhus Universitet, Denmark)
Action Semanticsby Peter D. Mosses (Aarhus Universitet, Denmark)
New
£43.99
Domains and Lambda-Calculi By Roberto M. Amadio (Universite de Provence)
Domains and Lambda-Calculiby Roberto M. Amadio (Universite de Provence)
New
£50.69
Understanding Z By J. M. Spivey (University of Oxford)
Understanding Zby J. M. Spivey (University of Oxford)
Very Good
£6.40
Metamathematics, Machines and Goedel's Proof By N. Shankar (SRI International, USA)
Metamathematics, Machines and Goedel's Proofby N. Shankar (SRI International, USA)
New
£36.39
Derivation and Computation By H. Simmons (University of Manchester)
Derivation and Computationby H. Simmons (University of Manchester)
New
£105.29
Basic Simple Type Theory By J. Roger Hindley (University of Wales, Swansea)
Basic Simple Type Theoryby J. Roger Hindley (University of Wales, Swansea)
New
£30.59
Understanding Z By J. M. Spivey (University of Oxford)
Understanding Zby J. M. Spivey (University of Oxford)
New
£29.69
Term Rewriting Systems By Terese
Term Rewriting Systemsby Terese
New
£165.39
Concurrency Verification By Willem-Paul de Roever (Christian-Albrechts Universitat zu Kiel, Germany)
Concurrency Verificationby Willem-Paul de Roever (Christian-Albrechts Universitat zu Kiel, Germany)
New
£66.99
Extensions of First-Order Logic By Maria Manzano (Universitat de Barcelona)
Extensions of First-Order Logicby Maria Manzano (Universitat de Barcelona)
New
£61.29
Epistemic Logic for AI and Computer Science By J.-J. Ch. Meyer (Universiteit Utrecht, The Netherlands)
Epistemic Logic for AI and Computer Scienceby J.-J. Ch. Meyer (Universiteit Utrecht, The Netherlands)
New
£52.59
Applications of Process Algebra By J. C. M. Baeten
Applications of Process Algebraby J. C. M. Baeten
Very Good
£72.00
The Clausal Theory of Types By D. A. Wolfram (University of Oxford)
The Clausal Theory of Typesby D. A. Wolfram (University of Oxford)
New
£65.39
Belief Revision By Peter Gardenfors (Lunds Universitet, Sweden)
Belief Revisionby Peter Gardenfors (Lunds Universitet, Sweden)
New
£56.49
Logic and Computation By Lawrence C. Paulson (University of Cambridge)
Logic and Computationby Lawrence C. Paulson (University of Cambridge)
New
£45.89
Domains and Lambda-Calculi By Roberto M. Amadio (Universite de Provence)
Domains and Lambda-Calculiby Roberto M. Amadio (Universite de Provence)
New
£134.29
Information Flow By Jon Barwise (Indiana University)
Information Flowby Jon Barwise (Indiana University)
New
£44.99
Nonmonotonic Reasoning By Gerhard Brewka
Nonmonotonic Reasoningby Gerhard Brewka
New
£65.39
Lambda-calculus, Combinators and Functional Programming By G. E. Revesz
Lambda-calculus, Combinators and Functional Programmingby G. E. Revesz
New
£42.09
Higher Order Logic and Hardware Verification By T. F. Melham (University of Glasgow)
Higher Order Logic and Hardware Verificationby T. F. Melham (University of Glasgow)
New
£24.89
Higher Order Logic and Hardware Verification By T. F. Melham (University of Glasgow)
Higher Order Logic and Hardware Verificationby T. F. Melham (University of Glasgow)
New
£93.19
Concurrency Verification By Willem-Paul de Roever (Christian-Albrechts Universitat zu Kiel, Germany)
Concurrency Verificationby Willem-Paul de Roever (Christian-Albrechts Universitat zu Kiel, Germany)
New
£237.79
Theoretical Foundations of VLSI Design By K. McEvoy (University of Leeds)
Theoretical Foundations of VLSI Designby K. McEvoy (University of Leeds)
New
£48.79
Updating Logical Databases By Marianne Winslett (University of Illinois, Urbana-Champaign)
Updating Logical Databasesby Marianne Winslett (University of Illinois, Urbana-Champaign)
New
£28.69
Deductive and Declarative Programming By Peter Padawitz
Deductive and Declarative Programmingby Peter Padawitz
New
£36.39
Free Choice Petri Nets By Jorg Desel (Humboldt-Universitat zu Berlin)
Free Choice Petri Netsby Jorg Desel (Humboldt-Universitat zu Berlin)
New
£32.49
Nets, Terms and Formulas By E. -R. Olderog (Carl V. Ossietzky Universitat Oldenburg, Germany)
Nets, Terms and Formulasby E. -R. Olderog (Carl V. Ossietzky Universitat Oldenburg, Germany)
New
£36.39
A Unifying Framework for Structured Analysis and Design Models By T. H. Tse (The University of Hong Kong)
A Unifying Framework for Structured Analysis and Design Modelsby T. H. Tse (The University of Hong Kong)
New
£93.19
Information Flow By Jon Barwise (Indiana University)
Information Flowby Jon Barwise (Indiana University)
New
£70.89
The Clausal Theory of Types By D. A. Wolfram (University of Oxford)
The Clausal Theory of Typesby D. A. Wolfram (University of Oxford)
New
£24.89
A Unifying Framework for Structured Analysis and Design Models By T. H. Tse (The University of Hong Kong)
A Unifying Framework for Structured Analysis and Design Modelsby T. H. Tse (The University of Hong Kong)
New
£26.79
Basic Simple Type Theory By J. Roger Hindley (University of Wales, Swansea)
Basic Simple Type Theoryby J. Roger Hindley (University of Wales, Swansea)
New
£93.19
Data Refinement By Willem-Paul de Roever (Christian-Albrechts Universitat zu Kiel, Germany)
Data Refinementby Willem-Paul de Roever (Christian-Albrechts Universitat zu Kiel, Germany)
New
£106.39
Design Theory and Computer Science By Subrata Dasgupta (University of Southwestern Louisiana)
Design Theory and Computer Scienceby Subrata Dasgupta (University of Southwestern Louisiana)
New
£146.49
Two-Level Functional Languages By Flemming Nielson (Aarhus Universitet, Denmark)
Two-Level Functional Languagesby Flemming Nielson (Aarhus Universitet, Denmark)
New
£122.19
Updating Logical Databases By Marianne Winslett (University of Illinois, Urbana-Champaign)
Updating Logical Databasesby Marianne Winslett (University of Illinois, Urbana-Champaign)
Very Good
£6.70
Algebraic Specification of Communication Protocols By S. Mauw (Technische Universiteit Eindhoven, The Netherlands)
Algebraic Specification of Communication Protocolsby S. Mauw (Technische Universiteit Eindhoven, The Netherlands)
New
£36.39
Programs, Recursion and Unbounded Choice By Wim H. Hesselink
Programs, Recursion and Unbounded Choiceby Wim H. Hesselink
New
£36.39
Design Theory and Computer Science By Subrata Dasgupta (University of Southwestern Louisiana)
Design Theory and Computer Scienceby Subrata Dasgupta (University of Southwestern Louisiana)
New
£56.49
Nonmonotonic Reasoning By Gerhard Brewka
Nonmonotonic Reasoningby Gerhard Brewka
New
£32.49
Hybrid Graph Theory and Network Analysis By Ladislav Novak (University of Novi Sad, Yugoslavia)
Hybrid Graph Theory and Network Analysisby Ladislav Novak (University of Novi Sad, Yugoslavia)
New
£93.19
Rippling: Meta-Level Guidance for Mathematical Reasoning By Alan Bundy (University of Edinburgh)
Rippling: Meta-Level Guidance for Mathematical Reasoningby Alan Bundy (University of Edinburgh)
New
£94.29
Formal Specification and Design By L. M. G. Feijs
Formal Specification and Designby L. M. G. Feijs
New
£40.19