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 – 12 of 300
✕
Proof Theory and Logic Programming
Proof Theory and Logic Programming
Computation as Proof Search
Dale Miller Dale Miller
December 2025
9781009561297
Manufactured on demand - supplied direct from the printer
Hardback
$79.99
✕
Polynomial Functors
Polynomial Functors
A Mathematical Theory of Interaction
Nelson Niu
(+1 other) Nelson Niu
David I. Spivak
October 2025
9781009576710
Manufactured on demand - supplied direct from the printer
Paperback
$100.00
✕
Polynomial Functors
Polynomial Functors
A Mathematical Theory of Interaction
Nelson Niu
(+1 other) Nelson Niu
David I. Spivak
August 2025
9781009576741
Manufactured on demand - supplied direct from the printer
Adobe eBook Reader
$100.00
✕
Introduction to Homotopy Type Theory
Introduction to Homotopy Type Theory
Egbert Rijke Egbert Rijke
August 2025
9781108844161
Manufactured on demand - supplied direct from the printer
Hardback
$65.00
✕
The Logic of Entailment and its History
The Logic of Entailment and its History
Edwin Mares Edwin Mares
August 2025
9781009375276
Manufactured on demand - supplied direct from the printer
Paperback
$32.99
✕
The Logic of Entailment and its History
The Logic of Entailment and its History
Edwin Mares Edwin Mares
August 2025
9781009375290
Manufactured on demand - supplied direct from the printer
Adobe eBook Reader
$32.99
Buy eBook
✕
The Logic of Entailment and its History
The Logic of Entailment and its History
Edwin Mares Edwin Mares
February 2024
9781009375313
Manufactured on demand - supplied direct from the printer
Hardback
$110.00
✕
Proof Complexity Generators
Proof Complexity Generators
Jan Krajíček Jan Krajíček
July 2025
9781009611701
Manufactured on demand - supplied direct from the printer
Paperback
$60.00
✕
Proof Complexity Generators
Proof Complexity Generators
Jan Krajíček Jan Krajíček
May 2025
9781009611695
Manufactured on demand - supplied direct from the printer
Adobe eBook Reader
$60.00
✕
An Introduction to String Diagrams for Computer Scientists
An Introduction to String Diagrams for Computer Scientists
Robin Piedeleu
(+1 other) Robin Piedeleu
Fabio Zanasi
May 2025
9781009625708
Manufactured on demand - supplied direct from the printer
Hardback
$64.99
✕
An Introduction to String Diagrams for Computer Scientists
An Introduction to String Diagrams for Computer Scientists
Robin Piedeleu
(+1 other) Robin Piedeleu
Fabio Zanasi
May 2025
9781009625739
Manufactured on demand - supplied direct from the printer
Adobe eBook Reader
$22.00
Buy eBook
✕
An Introduction to String Diagrams for Computer Scientists
An Introduction to String Diagrams for Computer Scientists
Robin Piedeleu
(+1 other) Robin Piedeleu
Fabio Zanasi
May 2025
9781009625746
Manufactured on demand - supplied direct from the printer
Paperback
$22.00
✕
Polygraphs: From Rewriting to Higher Categories
Polygraphs: From Rewriting to Higher Categories
Dimitri Ara
(+5 others) Dimitri Ara
Albert Burroni
Yves Guiraud
(+3 others)
May 2025
9781009498982
Manufactured on demand - supplied direct from the printer
Paperback
$115.00
✕
Polygraphs: From Rewriting to Higher Categories
Polygraphs: From Rewriting to Higher Categories
Dimitri Ara
(+5 others) Dimitri Ara
Albert Burroni
Yves Guiraud
(+3 others)
May 2025
9781009498975
Manufactured on demand - supplied direct from the printer
Adobe eBook Reader
$115.00
Buy eBook
✕
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
9781108880671
Manufactured on demand - supplied direct from the printer
Adobe eBook Reader
$205.00
Buy eBook
✕
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
Manufactured on demand - supplied direct from the printer
Hardback
$205.00
✕
Abelian Model Category Theory
Abelian Model Category Theory
James Gillespie James Gillespie
January 2025
9781009449496
Manufactured on demand - supplied direct from the printer
Adobe eBook Reader
$84.99
Buy eBook
✕
Abelian Model Category Theory
Abelian Model Category Theory
James Gillespie James Gillespie
January 2025
9781009449465
Manufactured on demand - supplied direct from the printer
Hardback
$84.99
✕
An Introduction to Classical and Modal Logics
An Introduction to Classical and Modal Logics
The Outlines of Knowledge
Adam Bjorndahl Adam Bjorndahl
November 2024
9781009450690
Manufactured on demand - supplied direct from the printer
Hardback
$99.99
✕
An Introduction to Classical and Modal Logics
An Introduction to Classical and Modal Logics
The Outlines of Knowledge
Adam Bjorndahl Adam Bjorndahl
November 2024
9781009450683
Manufactured on demand - supplied direct from the printer
Adobe eBook Reader
$32.99
Buy eBook
✕
An Introduction to Classical and Modal Logics
An Introduction to Classical and Modal Logics
The Outlines of Knowledge
Adam Bjorndahl Adam Bjorndahl
November 2024
9781009450676
Manufactured on demand - supplied direct from the printer
Paperback
$32.99
✕
The Theory of Countable Borel Equivalence Relations
The Theory of Countable Borel Equivalence Relations
Alexander S. Kechris Alexander S. Kechris
November 2024
9781009562263
Manufactured on demand - supplied direct from the printer
Adobe eBook Reader
$140.00
Buy eBook
✕
The Theory of Countable Borel Equivalence Relations
The Theory of Countable Borel Equivalence Relations
Alexander S. Kechris Alexander S. Kechris
November 2024
9781009562294
Manufactured on demand - supplied direct from the printer
Hardback
$140.00
✕
The Largest Suslin Axiom
The Largest Suslin Axiom
Grigor Sargsyan
(+1 other) Grigor Sargsyan
Nam Trang
June 2024
9781009520713
Manufactured on demand - supplied direct from the printer
Hardback
$155.00
✕
The Largest Suslin Axiom
The Largest Suslin Axiom
Grigor Sargsyan
(+1 other) Grigor Sargsyan
Nam Trang
June 2024
9781009520690
Manufactured on demand - supplied direct from the printer
Adobe eBook Reader
$155.00
Buy eBook
Per Page 1 – 12 of 300

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