Our systems are now restored following recent technical disruption, and we’re working hard to catch up on publishing. We apologise for the inconvenience caused. Find out more

Item added to bagSorry, there was a problem getting your bag informationItem cannot be purchased with the existing contents of your bagItem unavailable online
✕

was added to your bag.

Please try again.

Sorry, this item cannot be purchased in the same transaction as the existing items in your bag.

Please complete the purchase of the items currently in your bag and then add this item in a separate transaction or visit Shopping Help.

Sorry, this product is not currently available to buy online. Please visit Shopping Help.

View bag and checkout
Remove item
✕

Are you sure you want to remove from your bag?

Recommended product

Popular links

Popular links

Logic, categories and sets

Results

Clear all
Filter
✕
Current filters
Clear all
Refine results
Show more
Show more

Results

Clear all
Per Page 1 – 10 of 10
  • 1 – 10 of 10
✕
Initial Algebras and Terminal Coalgebras
Initial Algebras and Terminal Coalgebras
The Theory of Fixed Points of Functors
Jiří Adámek
(+2 others) Jiří Adámek
Stefan Milius
Lawrence S. Moss
February 2025
9781108835466
Available
Hardback
£155.00
✕
Topological Duality for Distributive Lattices
Topological Duality for Distributive Lattices
Theory and Applications
Mai Gehrke
(+1 other) Mai Gehrke
Sam van Gool
March 2024
9781009349697
Available
Hardback
£64.99
✕
Topological Duality for Distributive Lattices
Topological Duality for Distributive Lattices
Theory and Applications
Mai Gehrke
(+1 other) Mai Gehrke
Sam van Gool
March 2024
9781009349710
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$84.99
Buy eBook
✕
Introduction to Coalgebra
Introduction to Coalgebra
Towards Mathematics of States and Observation
Bart Jacobs Bart Jacobs
October 2016
9781107177895
Available
Hardback
£141.00
✕
Introduction to Coalgebra
Introduction to Coalgebra
Towards Mathematics of States and Observation
Bart Jacobs Bart Jacobs
October 2016
9781316836019
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$180.00
Buy eBook
✕
Basic Simple Type Theory
Basic Simple Type Theory
J. Roger Hindley J. Roger Hindley
February 2008
9780521054225
Available
Paperback
£36.99
✕
Basic Simple Type Theory
Basic Simple Type Theory
J. Roger Hindley J. Roger Hindley
February 2008
9780511834738
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$48.99
Buy eBook
✕
Basic Simple Type Theory
Basic Simple Type Theory
J. Roger Hindley J. Roger Hindley
July 1997
9780521465182
Available
Hardback
£96.99
✕
The Uncertain Reasoner's Companion
The Uncertain Reasoner's Companion
A Mathematical Perspective
J. B. Paris J. B. Paris
November 2006
9780511885143
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$58.99
Buy eBook
✕
The Uncertain Reasoner's Companion
The Uncertain Reasoner's Companion
A Mathematical Perspective
J. B. Paris J. B. Paris
November 2006
9780521032728
Available
Paperback
£44.99
✕
Rippling: Meta-Level Guidance for Mathematical Reasoning
Rippling: Meta-Level Guidance for Mathematical Reasoning
Alan Bundy
(+3 others) Alan Bundy
David Basin
Dieter Hutter
(+1 other)
June 2005
9780511111853
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$140.00
Buy eBook
✕
Rippling: Meta-Level Guidance for Mathematical Reasoning
Rippling: Meta-Level Guidance for Mathematical Reasoning
Alan Bundy
(+3 others) Alan Bundy
David Basin
Dieter Hutter
(+1 other)
June 2005
9780521834490
Available
Hardback
£110.00
✕
Epistemic Logic for AI and Computer Science
Epistemic Logic for AI and Computer Science
J.-J. Ch. Meyer
(+1 other) J.-J. Ch. Meyer
W. van der Hoek
March 2004
9780521602808
Available
Paperback
£57.99
✕
Epistemic Logic for AI and Computer Science
Epistemic Logic for AI and Computer Science
J.-J. Ch. Meyer
(+1 other) J.-J. Ch. Meyer
W. van der Hoek
March 2004
9780511884993
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$74.99
Buy eBook
✕
Basic Proof Theory
Basic Proof Theory
A. S. Troelstra
(+1 other) A. S. Troelstra
H. Schwichtenberg
2nd Edition
July 2000
9780521779111
Available
Paperback
£44.99
✕
Basic Proof Theory
Basic Proof Theory
A. S. Troelstra
(+1 other) A. S. Troelstra
H. Schwichtenberg
2nd Edition
N/A
9781316044537
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$58.99
Buy eBook
✕
Derivation and Computation
Derivation and Computation
Taking the Curry-Howard Correspondence Seriously
H. Simmons H. Simmons
May 2000
9780521771733
Available
Hardback
£129.00
✕
Topology via Logic
Topology via Logic
Steven Vickers Steven Vickers
August 1996
9780521576512
Available
Paperback
£47.99
Per Page 1 – 10 of 10
  • 1 – 10 of 10

Save 20% on your next online purchase

Subscribe to Cambridge Alerts to receive email alerts on new books, offers and news...

Subscribe
alerts banner

Browse by related subject

 
✕

Sorry, this item cannot be purchased in the same transaction as the existing items in your cart.

Please complete the purchase of the items currently in your cart and then add this item in a separate transaction or contact

Customer Services