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 Australia
Trustpilot
Proud to be B-Corp

Cambridge Tracts in Theoretical Computer Science Books

Nominal Sets By Andrew M. Pitts (University of Cambridge)
Nominal Setsby Andrew M. Pitts (University of Cambridge)
New
$150.09
inc. GST
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
$104.99
inc. GST
Action Semantics By Peter D. Mosses (Aarhus Universitet, Denmark)
Action Semanticsby Peter D. Mosses (Aarhus Universitet, Denmark)
New
$116.29
inc. GST
Basic Proof Theory By A. S. Troelstra (Universiteit van Amsterdam)
Basic Proof Theoryby A. S. Troelstra (Universiteit van Amsterdam)
New
$101.09
inc. GST
Modal Logic By Patrick Blackburn
Modal Logicby Patrick Blackburn
New
$183.19
inc. GST
Introduction to Coalgebra By Bart Jacobs (Radboud Universiteit Nijmegen)
Introduction to Coalgebraby Bart Jacobs (Radboud Universiteit Nijmegen)
New
$328.69
inc. GST
Domains and Lambda-Calculi By Roberto M. Amadio (Universite de Provence)
Domains and Lambda-Calculiby Roberto M. Amadio (Universite de Provence)
New
$130.49
inc. GST
Understanding Z By J. M. Spivey (University of Oxford)
Understanding Zby J. M. Spivey (University of Oxford)
Very Good
$22.49
inc. GST
Metamathematics, Machines and Goedel's Proof By N. Shankar (SRI International, USA)
Metamathematics, Machines and Goedel's Proofby N. Shankar (SRI International, USA)
New
$93.09
inc. GST
Derivation and Computation By H. Simmons (University of Manchester)
Derivation and Computationby H. Simmons (University of Manchester)
New
$262.69
inc. GST
Basic Simple Type Theory By J. Roger Hindley (University of Wales, Swansea)
Basic Simple Type Theoryby J. Roger Hindley (University of Wales, Swansea)
New
$80.49
inc. GST
Understanding Z By J. M. Spivey (University of Oxford)
Understanding Zby J. M. Spivey (University of Oxford)
New
$74.39
inc. GST
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
$173.29
inc. GST
Term Rewriting Systems By Terese
Term Rewriting Systemsby Terese
New
$423.99
inc. GST
Extensions of First-Order Logic By Maria Manzano (Universitat de Barcelona)
Extensions of First-Order Logicby Maria Manzano (Universitat de Barcelona)
New
$154.49
inc. GST
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
$135.09
inc. GST
Applications of Process Algebra By J. C. M. Baeten
Applications of Process Algebraby J. C. M. Baeten
Very Good
$238.99
inc. GST
Belief Revision By Peter Gardenfors (Lunds Universitet, Sweden)
Belief Revisionby Peter Gardenfors (Lunds Universitet, Sweden)
New
$140.99
inc. GST
The Clausal Theory of Types By D. A. Wolfram (University of Oxford)
The Clausal Theory of Typesby D. A. Wolfram (University of Oxford)
New
$164.69
inc. GST
Logic and Computation By Lawrence C. Paulson (University of Cambridge)
Logic and Computationby Lawrence C. Paulson (University of Cambridge)
New
$118.09
inc. GST
Domains and Lambda-Calculi By Roberto M. Amadio (Universite de Provence)
Domains and Lambda-Calculiby Roberto M. Amadio (Universite de Provence)
New
$335.99
inc. GST
Information Flow By Jon Barwise (Indiana University)
Information Flowby Jon Barwise (Indiana University)
New
$116.29
inc. GST
Nonmonotonic Reasoning By Gerhard Brewka
Nonmonotonic Reasoningby Gerhard Brewka
New
$165.79
inc. GST
Lambda-calculus, Combinators and Functional Programming By G. E. Revesz
Lambda-calculus, Combinators and Functional Programmingby G. E. Revesz
New
$104.39
inc. GST
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
$64.69
inc. GST
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
$231.89
inc. GST
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
$584.09
inc. GST
Theoretical Foundations of VLSI Design By K. McEvoy (University of Leeds)
Theoretical Foundations of VLSI Designby K. McEvoy (University of Leeds)
New
$126.99
inc. GST
Updating Logical Databases By Marianne Winslett (University of Illinois, Urbana-Champaign)
Updating Logical Databasesby Marianne Winslett (University of Illinois, Urbana-Champaign)
New
$75.59
inc. GST
Deductive and Declarative Programming By Peter Padawitz
Deductive and Declarative Programmingby Peter Padawitz
New
$94.19
inc. GST
Free Choice Petri Nets By Jorg Desel (Humboldt-Universitat zu Berlin)
Free Choice Petri Netsby Jorg Desel (Humboldt-Universitat zu Berlin)
New
$84.39
inc. GST
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
$93.79
inc. GST
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
$233.09
inc. GST
Information Flow By Jon Barwise (Indiana University)
Information Flowby Jon Barwise (Indiana University)
New
$181.09
inc. GST
The Clausal Theory of Types By D. A. Wolfram (University of Oxford)
The Clausal Theory of Typesby D. A. Wolfram (University of Oxford)
New
$63.39
inc. GST
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
$69.49
inc. GST
Basic Simple Type Theory By J. Roger Hindley (University of Wales, Swansea)
Basic Simple Type Theoryby J. Roger Hindley (University of Wales, Swansea)
New
$230.99
inc. GST
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
$267.89
inc. GST
Design Theory and Computer Science By Subrata Dasgupta (University of Southwestern Louisiana)
Design Theory and Computer Scienceby Subrata Dasgupta (University of Southwestern Louisiana)
New
$363.79
inc. GST
Updating Logical Databases By Marianne Winslett (University of Illinois, Urbana-Champaign)
Updating Logical Databasesby Marianne Winslett (University of Illinois, Urbana-Champaign)
Very Good
$25.99
inc. GST
Two-Level Functional Languages By Flemming Nielson (Aarhus Universitet, Denmark)
Two-Level Functional Languagesby Flemming Nielson (Aarhus Universitet, Denmark)
New
$304.39
inc. GST
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
$91.89
inc. GST
Programs, Recursion and Unbounded Choice By Wim H. Hesselink
Programs, Recursion and Unbounded Choiceby Wim H. Hesselink
New
$92.59
inc. GST
Design Theory and Computer Science By Subrata Dasgupta (University of Southwestern Louisiana)
Design Theory and Computer Scienceby Subrata Dasgupta (University of Southwestern Louisiana)
New
$144.99
inc. GST
Nonmonotonic Reasoning By Gerhard Brewka
Nonmonotonic Reasoningby Gerhard Brewka
New
$82.19
inc. GST
Mathematical Theory of Domains By V. Stoltenberg-Hansen (Uppsala Universitet, Sweden)
Mathematical Theory of Domainsby V. Stoltenberg-Hansen (Uppsala Universitet, Sweden)
New
$131.29
inc. GST
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
$229.39
inc. GST
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
$234.09
inc. GST