All Brands Books

Cambridge Tracts in Theoretical Computer Science

Available in store:

Find a store
Filters

Available in store:

Find a store

Results for

21 items

Sort By:

0 items

No products found

Try adjusting your filters to see more items.

Topology Via Logic
Heather’s Pick
Staff Pick
Eco Friendly
Made in Canada
Indigo Exclusive
Bestseller

Topology Via Logic
Steven Vickers Paperback
$78.95
Lambda-calculus, Combinators and Functional Programming
Heather’s Pick
Staff Pick
Eco Friendly
Made in Canada
Indigo Exclusive
Bestseller

Lambda-calculus, Combinators and Functional Programming
G. E. Revesz Paperback
$70.74
Computational Learning Theory
Heather’s Pick
Staff Pick
Eco Friendly
Made in Canada
Indigo Exclusive
Bestseller

Computational Learning Theory
M. H. G. Anthony Paperback
$62.95
Introduction To Coalgebra: Towards Mathematics Of States And Observation
Heather’s Pick
Staff Pick
Eco Friendly
Made in Canada
Indigo Exclusive
Bestseller

Introduction To Coalgebra: Towards Mathematics Of States And Observation
Bart Jacobs Hardcover
$193.34
Understanding Z: A Specification Language and its Formal Semantics
Heather’s Pick
Staff Pick
Eco Friendly
Made in Canada
Indigo Exclusive
Bestseller

Understanding Z: A Specification Language and its Formal Semantics
J. M. Spivey Paperback
$51.95
The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution
Heather’s Pick
Staff Pick
Eco Friendly
Made in Canada
Indigo Exclusive
Bestseller

The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution
Robert L. Carpenter Paperback
$63.95
Topological Duality for Distributive Lattices: Theory and Applications
Heather’s Pick
Staff Pick
Eco Friendly
Made in Canada
Indigo Exclusive
Bestseller

Topological Duality for Distributive Lattices: Theory and Applications
Mai Gehrke Hardcover
$97.95
Extensions of First-Order Logic
Heather’s Pick
Staff Pick
Eco Friendly
Made in Canada
Indigo Exclusive
Bestseller

Extensions of First-Order Logic
Maria Manzano Paperback
$98.95
Updating Logical Databases
Heather’s Pick
Staff Pick
Eco Friendly
Made in Canada
Indigo Exclusive
Bestseller

Updating Logical Databases
Marianne Winslett Paperback
$53.95
The Optimal Implementation Of Functional Programming Languages
Heather’s Pick
Staff Pick
Eco Friendly
Made in Canada
Indigo Exclusive
Bestseller

The Optimal Implementation Of Functional Programming Languages
Andrea Asperti Hardcover
$123.95
Data Refinement: Model-Oriented Proof Methods and their Comparison
Heather’s Pick
Staff Pick
Eco Friendly
Made in Canada
Indigo Exclusive
Bestseller

Data Refinement: Model-Oriented Proof Methods and their Comparison
Willem-paul De Roever Paperback
$76.95
2 formats available
Basic Simple Type Theory
Heather’s Pick
Staff Pick
Eco Friendly
Made in Canada
Indigo Exclusive
Bestseller

Basic Simple Type Theory
J. Roger Hindley Paperback
$55.95
2 formats available
Belief Revision
Heather’s Pick
Staff Pick
Eco Friendly
Made in Canada
Indigo Exclusive
Bestseller

Belief Revision
Paperback
$91.95
Algorithmic Information Theory
Heather’s Pick
Staff Pick
Eco Friendly
Made in Canada
Indigo Exclusive
Bestseller

Algorithmic Information Theory
Gregory. J. Chaitin Paperback
$71.95
Term Rewriting Systems
Heather’s Pick
Staff Pick
Eco Friendly
Made in Canada
Indigo Exclusive
Bestseller

Term Rewriting Systems
Terese Terese Hardcover
$292.95
Basic Proof Theory
Heather’s Pick
Staff Pick
Eco Friendly
Made in Canada
Indigo Exclusive
Bestseller

Basic Proof Theory
A. S. Troelstra Paperback
$70.95
Metamathematics, Machines and Gödel's Proof
Heather’s Pick
Staff Pick
Eco Friendly
Made in Canada
Indigo Exclusive
Bestseller

Metamathematics, Machines and Gödel's Proof
N. Shankar Paperback
$63.95
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship
Heather’s Pick
Staff Pick
Eco Friendly
Made in Canada
Indigo Exclusive
Bestseller

Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship
E. -R. Olderog Paperback
$63.95
2 formats available
A Unifying Framework for Structured Analysis and Design Models: An Approach Using Initial Algebra Semantics and Category Theory
Heather’s Pick
Staff Pick
Eco Friendly
Made in Canada
Indigo Exclusive
Bestseller

A Unifying Framework for Structured Analysis and Design Models: An Approach Using Initial Algebra Semantics and Category Theory
T. H. Tse Paperback
$53.95
2 formats available
Mathematical Theory of Domains
Heather’s Pick
Staff Pick
Eco Friendly
Made in Canada
Indigo Exclusive
Bestseller

Mathematical Theory of Domains
V. Stoltenberg-Hansen Paperback
$89.95
Design Theory and Computer Science
Heather’s Pick
Staff Pick
Eco Friendly
Made in Canada
Indigo Exclusive
Bestseller

Design Theory and Computer Science
Subrata Dasgupta Paperback
$97.95