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 US shipping over $10
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
$58.99
Basic Proof Theory By A. S. Troelstra (Universiteit van Amsterdam)
Basic Proof Theoryby A. S. Troelstra (Universiteit van Amsterdam)
New
$56.49
Modal Logic By Patrick Blackburn
Modal Logicby Patrick Blackburn
New
$103.19
Information Flow By Jon Barwise (Indiana University)
Information Flowby Jon Barwise (Indiana University)
New
$100.19
Information Flow By Jon Barwise (Indiana University)
Information Flowby Jon Barwise (Indiana University)
New
$65.49
Introduction to Coalgebra By Bart Jacobs (Radboud Universiteit Nijmegen)
Introduction to Coalgebraby Bart Jacobs (Radboud Universiteit Nijmegen)
New
$182.89
Basic Simple Type Theory By J. Roger Hindley (University of Wales, Swansea)
Basic Simple Type Theoryby J. Roger Hindley (University of Wales, Swansea)
Good
$30.40
Faster Shipping
Algorithmic Information Theory By Gregory. J. Chaitin
Algorithmic Information Theoryby Gregory. J. Chaitin
Good
$77.40
Faster Shipping
Nominal Sets By Andrew M. Pitts (University of Cambridge)
Nominal Setsby Andrew M. Pitts (University of Cambridge)
New
$82.09
Derivation and Computation By H. Simmons (University of Manchester)
Derivation and Computationby H. Simmons (University of Manchester)
Good
$49.81
Faster Shipping
Lambda-calculus, Combinators and Functional Programming By G. E. Revesz
Lambda-calculus, Combinators and Functional Programmingby G. E. Revesz
New
$60.29
Finite-State Techniques By Stoyan Mihov
Finite-State Techniquesby Stoyan Mihov
New
$91.59
Extensions of First-Order Logic By Maria Manzano (Universitat de Barcelona)
Extensions of First-Order Logicby Maria Manzano (Universitat de Barcelona)
New
$87.79
Temporal Logics in Computer Science By Stephane Demri (Centre National de la Recherche Scientifique (CNRS), Paris)
Temporal Logics in Computer Scienceby Stephane Demri (Centre National de la Recherche Scientifique (CNRS), Paris)
New
$143.49
Nonmonotonic Reasoning By Gerhard Brewka
Nonmonotonic Reasoningby Gerhard Brewka
Good
$28.94
Faster Shipping
Metamathematics, Machines and Goedel's Proof By N. Shankar (SRI International, USA)
Metamathematics, Machines and Goedel's Proofby N. Shankar (SRI International, USA)
New
$52.99
Design Theory and Computer Science By Subrata Dasgupta (University of Southwestern Louisiana)
Design Theory and Computer Scienceby Subrata Dasgupta (University of Southwestern Louisiana)
New
$202.49
Domains and Lambda-Calculi By Roberto M. Amadio (Universite de Provence)
Domains and Lambda-Calculiby Roberto M. Amadio (Universite de Provence)
New
$72.79
The Clausal Theory of Types By D. A. Wolfram (University of Oxford)
The Clausal Theory of Typesby D. A. Wolfram (University of Oxford)
New
$92.09
Understanding Z By J. M. Spivey (University of Oxford)
Understanding Zby J. M. Spivey (University of Oxford)
Very Good
$10.00
Mathematical Theory of Domains By V. Stoltenberg-Hansen (Uppsala Universitet, Sweden)
Mathematical Theory of Domainsby V. Stoltenberg-Hansen (Uppsala Universitet, Sweden)
New
$74.49
The Uncertain Reasoner's Companion By J. B. Paris (University of Manchester)
The Uncertain Reasoner's Companionby J. B. Paris (University of Manchester)
New
$55.29
Computational Learning Theory By M. H. G. Anthony (London School of Economics and Political Science)
Computational Learning Theoryby M. H. G. Anthony (London School of Economics and Political Science)
New
$51.09
Term Rewriting Systems By Terese
Term Rewriting Systemsby Terese
New
$231.99
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
$36.79
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
$36.89
Basic Simple Type Theory By J. Roger Hindley (University of Wales, Swansea)
Basic Simple Type Theoryby J. Roger Hindley (University of Wales, Swansea)
New
$129.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
$129.89
Two-Level Functional Languages By Flemming Nielson (Aarhus Universitet, Denmark)
Two-Level Functional Languagesby Flemming Nielson (Aarhus Universitet, Denmark)
New
$170.19
Formal Specification and Design By L. M. G. Feijs
Formal Specification and Designby L. M. G. Feijs
New
$58.89
Domains and Lambda-Calculi By Roberto M. Amadio (Universite de Provence)
Domains and Lambda-Calculiby Roberto M. Amadio (Universite de Provence)
New
$186.09
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
$130.19
The Clausal Theory of Types By D. A. Wolfram (University of Oxford)
The Clausal Theory of Typesby D. A. Wolfram (University of Oxford)
New
$36.59
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
$39.59
Nonmonotonic Reasoning By Gerhard Brewka
Nonmonotonic Reasoningby Gerhard Brewka
New
$47.29
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
$148.29
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
$69.59
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
$96.19
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
$52.69
Theoretical Foundations of VLSI Design By K. McEvoy (University of Leeds)
Theoretical Foundations of VLSI Designby K. McEvoy (University of Leeds)
New
$70.39
Updating Logical Databases By Marianne Winslett (University of Illinois, Urbana-Champaign)
Updating Logical Databasesby Marianne Winslett (University of Illinois, Urbana-Champaign)
New
$42.69
Deductive and Declarative Programming By Peter Padawitz
Deductive and Declarative Programmingby Peter Padawitz
New
$53.29
Free Choice Petri Nets By Jorg Desel (Humboldt-Universitat zu Berlin)
Free Choice Petri Netsby Jorg Desel (Humboldt-Universitat zu Berlin)
New
$47.79
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
$53.19
Applications of Process Algebra By J. C. M. Baeten
Applications of Process Algebraby J. C. M. Baeten
Very Good
$137.99
Logic and Computation By Lawrence C. Paulson (University of Cambridge)
Logic and Computationby Lawrence C. Paulson (University of Cambridge)
New
$66.69
Updating Logical Databases By Marianne Winslett (University of Illinois, Urbana-Champaign)
Updating Logical Databasesby Marianne Winslett (University of Illinois, Urbana-Champaign)
Very Good
$12.39
Programs, Recursion and Unbounded Choice By Wim H. Hesselink
Programs, Recursion and Unbounded Choiceby Wim H. Hesselink
New
$52.89