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

Filter
Current filters
Refine results

Results

Per Page 1 – 12 of 266
✕
Proof Theory and Logic Programming
Proof Theory and Logic Programming
Computation as Proof Search
Dale Miller Dale Miller
December 2025
9781009561297
Not yet published - available from December 2025
Hardback
View product
✕
Introduction to Homotopy Type Theory
Introduction to Homotopy Type Theory
Egbert Rijke Egbert Rijke
August 2025
9781108844161
Not yet published - available from August 2025
Hardback
View product
✕
Polynomial Functors
Polynomial Functors
A Mathematical Theory of Interaction
Nelson Niu
(+1 other) Nelson Niu
David I. Spivak
August 2025
9781009576710
Not yet published - available from August 2025
Paperback
View product
✕
Polynomial Functors
Polynomial Functors
A Mathematical Theory of Interaction
Nelson Niu
(+1 other) Nelson Niu
David I. Spivak
N/A
9781009576741
Adobe eBook Reader
View product
✕
The Logic of Entailment and its History
The Logic of Entailment and its History
Edwin Mares Edwin Mares
August 2025
9781009375276
Not yet published - available from July 2025
Paperback
View product
✕
The Logic of Entailment and its History
The Logic of Entailment and its History
Edwin Mares Edwin Mares
February 2024
9781009375313
Not yet published - available from June 2025
Hardback
View product
✕
Fast Track to Forcing
Fast Track to Forcing
Mirna Džamonja Mirna Džamonja
June 2025
9781108413145
Not yet published - available from June 2025
Paperback
View product
✕
Fast Track to Forcing
Fast Track to Forcing
Mirna Džamonja Mirna Džamonja
June 2025
9781108420150
Not yet published - available from June 2025
Hardback
View product
✕
Fast Track to Forcing
Fast Track to Forcing
Mirna Džamonja Mirna Džamonja
January 1970
9781108351966
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
View product
✕
Large Cardinals, Determinacy and Other Topics
Large Cardinals, Determinacy and Other Topics
The Cabal Seminar, Volume IV
Alexander S. Kechris
(+2 others) Alexander S. Kechris
Benedikt Löwe
John R. Steel
June 2025
4
9781107182998
Not yet published - available from June 2025
Hardback
View product
✕
Large Cardinals, Determinacy and Other Topics
Large Cardinals, Determinacy and Other Topics
The Cabal Seminar, Volume IV
Alexander S. Kechris
(+2 others) Alexander S. Kechris
Benedikt Löwe
John R. Steel
January 1970
4
9781316873632
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
View product
✕
The Cabal Seminar 4 Volume Hardback Set
The Cabal Seminar 4 Volume Hardback Set
Volumes I–IV
Alexander S. Kechris
(+2 others) Alexander S. Kechris
Benedikt Löwe
John R. Steel
June 2025
9781108920223
Not yet published - available from June 2025
Multiple copy pack
View product
✕
Proof Complexity Generators
Proof Complexity Generators
Jan Krajíček Jan Krajíček
June 2025
9781009611701
Not yet published - available from May 2025
Paperback
View product
✕
Proof Complexity Generators
Proof Complexity Generators
Jan Krajíček Jan Krajíček
N/A
9781009611695
Adobe eBook Reader
View product
✕
An Introduction to String Diagrams for Computer Scientists
Open Access
An Introduction to String Diagrams for Computer Scientists
Robin Piedeleu
(+1 other) Robin Piedeleu
Fabio Zanasi
May 2025
9781009625708
Not yet published - available from May 2025
Hardback
View product View Open Access
✕
An Introduction to String Diagrams for Computer Scientists
Open Access
An Introduction to String Diagrams for Computer Scientists
Robin Piedeleu
(+1 other) Robin Piedeleu
Fabio Zanasi
May 2025
9781009625746
Not yet published - available from May 2025
Paperback
View product View Open Access
✕
Polygraphs: From Rewriting to Higher Categories
Polygraphs: From Rewriting to Higher Categories
Dimitri Ara
(+5 others) Dimitri Ara
Albert Burroni
Yves Guiraud
(+3 others)
April 2025
9781009498982
Available, despatch within 3-4 weeks
Paperback
View product
✕
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
Not yet published - available from June 2025
Hardback
View product
✕
Abelian Model Category Theory
Abelian Model Category Theory
James Gillespie James Gillespie
January 2025
9781009449465
Not yet published - available from June 2025
Hardback
View product
Per Page 1 – 12 of 266

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