You are viewing content intended for a different location. This may affect your ability to shop online.

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 274
✕
Reasoning about Gossip
Reasoning about Gossip
Hans van Ditmarsch Hans van Ditmarsch
Published: January 2027
ISBN: 9781009557054
Availability: Not yet published - available from January 2027
Format: Hardback
£79.99
✕
Set Theory
Set Theory
A First Course
Daniel W. Cunningham Daniel W. Cunningham
Edition: 2nd Edition
Published: December 2026
ISBN: 9781009583404
Availability: Not yet published - available from December 2026
Format: Paperback
£47.00
✕
Equivariant Principal ∞-Bundles
Equivariant Principal ∞-Bundles
Hisham Sati
(+1 other) Hisham Sati
Urs Schreiber
Published: September 2026
ISBN: 9781009698559
Availability: Not yet published - available from September 2026
Format: Hardback
£60.00
✕
Equivariant Principal ∞-Bundles
Equivariant Principal ∞-Bundles
Hisham Sati
(+1 other) Hisham Sati
Urs Schreiber
Published: June 2026
ISBN: 9781009698573
Availability: Not yet published - available from June 2026
Format: Adobe eBook Reader
£60.00 USD
✕
String Diagrams for Lambda Calculi and Functional Computation
String Diagrams for Lambda Calculi and Functional Computation
Dan R. Ghica
(+1 other) Dan R. Ghica
Fabio Zanasi
Published: August 2026
ISBN: 9781009719971
Availability: Not yet published - available from August 2026
Format: Hardback
£55.00
✕
String Diagrams for Lambda Calculi and Functional Computation
String Diagrams for Lambda Calculi and Functional Computation
Dan R. Ghica
(+1 other) Dan R. Ghica
Fabio Zanasi
Published: August 2026
ISBN: 9781009719995
Availability: Not yet published - available from August 2026
Format: Paperback
£18.00
✕
Relevant Logics
Relevant Logics
Implication, Modality, Quantification
Shawn Standefer Shawn Standefer
Published: July 2026
ISBN: 9781009422857
Availability: Not yet published - available from July 2026
Format: Hardback
£80.00
✕
Relevant Logics
Relevant Logics
Implication, Modality, Quantification
Shawn Standefer Shawn Standefer
Published: July 2026
ISBN: 9781009422901
Availability: Not yet published - available from July 2026
Format: Paperback
£25.00
✕
Sets and Transfinite Algebra
Sets and Transfinite Algebra
Thomas Müller Thomas Müller
Published: April 2026
ISBN: 9781009737876
Availability: Available
Format: Paperback
£33.00
✕
Sets and Transfinite Algebra
Sets and Transfinite Algebra
Thomas Müller Thomas Müller
Published: April 2026
ISBN: 9781009737845
Availability: Available
Format: Hardback
£85.00
✕
Sets and Transfinite Algebra
Sets and Transfinite Algebra
Thomas Müller Thomas Müller
Published: April 2026
ISBN: 9781009737838
Availability: This ISBN is for an eBook version which is distributed on our behalf by a third party.
Format: Adobe eBook Reader
$43.00 USD
Buy eBook
✕
A Science of Concurrent Programs
A Science of Concurrent Programs
Leslie Lamport Leslie Lamport
Published: April 2026
ISBN: 9781009719858
Availability: Available
Format: Hardback
£50.00
✕
A Science of Concurrent Programs
A Science of Concurrent Programs
Leslie Lamport Leslie Lamport
Published: April 2026
ISBN: 9781009719889
Availability: This ISBN is for an eBook version which is distributed on our behalf by a third party.
Format: Adobe eBook Reader
$65.00 USD
Buy eBook
✕
Computable Structure Theory
Computable Structure Theory
Beyond the Arithmetic
Antonio Montalbán Antonio Montalbán
Published: February 2026
ISBN: 9781108787192
Availability: This ISBN is for an eBook version which is distributed on our behalf by a third party.
Format: Adobe eBook Reader
$150.00 USD
Buy eBook
✕
Computable Structure Theory
Computable Structure Theory
Beyond the Arithmetic
Antonio Montalbán Antonio Montalbán
Published: February 2026
ISBN: 9781108490252
Availability: Available
Format: Hardback
£115.00
✕
Proof Theory and Logic Programming
Proof Theory and Logic Programming
Computation as Proof Search
Dale Miller Dale Miller
Published: December 2025
ISBN: 9781009561310
Availability: This ISBN is for an eBook version which is distributed on our behalf by a third party.
Format: Adobe eBook Reader
$80.00 USD
Buy eBook
✕
Proof Theory and Logic Programming
Proof Theory and Logic Programming
Computation as Proof Search
Dale Miller Dale Miller
Published: December 2025
ISBN: 9781009561297
Availability: Available
Format: Hardback
£60.00
✕
Introduction to Homotopy Type Theory
Introduction to Homotopy Type Theory
Egbert Rijke Egbert Rijke
Published: November 2025
ISBN: 9781108945967
Availability: This ISBN is for an eBook version which is distributed on our behalf by a third party.
Format: Adobe eBook Reader
$65.00 USD
Buy eBook
✕
Introduction to Homotopy Type Theory
Introduction to Homotopy Type Theory
Egbert Rijke Egbert Rijke
Published: November 2025
ISBN: 9781108844161
Availability: Available
Format: Hardback
£50.00
✕
Polynomial Functors
Polynomial Functors
A Mathematical Theory of Interaction
Nelson Niu
(+1 other) Nelson Niu
David I. Spivak
Published: October 2025
ISBN: 9781009576741
Availability: This ISBN is for an eBook version which is distributed on our behalf by a third party.
Format: Adobe eBook Reader
$100.00 USD
Buy eBook
✕
Polynomial Functors
Polynomial Functors
A Mathematical Theory of Interaction
Nelson Niu
(+1 other) Nelson Niu
David I. Spivak
Published: October 2025
ISBN: 9781009576710
Availability: Available
Format: Paperback
£75.00
✕
The Logic of Entailment and its History
The Logic of Entailment and its History
Edwin Mares Edwin Mares
Published: August 2025
ISBN: 9781009375290
Availability: This ISBN is for an eBook version which is distributed on our behalf by a third party.
Format: Adobe eBook Reader
$32.99 USD
Buy eBook
✕
The Logic of Entailment and its History
The Logic of Entailment and its History
Edwin Mares Edwin Mares
Published: August 2025
ISBN: 9781009375276
Availability: Available
Format: Paperback
£24.99
✕
The Logic of Entailment and its History
The Logic of Entailment and its History
Edwin Mares Edwin Mares
Published: February 2024
ISBN: 9781009375313
Availability: Available
Format: Hardback
£89.00
Per Page 1 – 12 of 274

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

Cambridge University Press