Logic, categories and sets
Results
✕
Proof Complexity Generators
May 2025
9781009611701
Not yet published - available from May 2025
Paperback
✕
Polygraphs: From Rewriting to Higher Categories
April 2025
9781009498982
Not yet published - available from March 2025
Paperback
✕
✕
Maurer–Cartan Methods in Deformation Theory
The Twisting Procedure
September 2023
9781108965644
Temporarily unavailable - no date available
Paperback
✕
The Logical Approach to Automatic Sequences
Exploring Combinatorics on Words with Walnut
September 2022
9781108745246
Temporarily unavailable - available from August 2023
Paperback
✕
✕
Synthetic Differential Topology
March 2018
9781108447232
Available, despatch within 3-4 weeks
Paperback
✕
Synthetic Differential Topology
March 2018
9781108563352
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
✕
O-Minimality and Diophantine Geometry
August 2015
9781107462496
Available, despatch within 3-4 weeks
Paperback
✕
O-Minimality and Diophantine Geometry
August 2015
9781316311080
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
✕
Appalachian Set Theory
2006–2012
November 2012
9781107608504
Temporarily unavailable - no date available
Paperback
✕
Appalachian Set Theory
2006–2012
November 2012
9781139848596
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
✕
Motivic Integration and its Interactions with Model Theory and Non-Archimedean Geometry
September 2011
1
9780521149761
Temporarily unavailable - no date available
Paperback
✕
Motivic Integration and its Interactions with Model Theory and Non-Archimedean Geometry
September 2011
1
9781139142595
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
✕
Motivic Integration and its Interactions with Model Theory and Non-Archimedean Geometry
September 2011
2
9781107648814
Temporarily unavailable - no date available
Paperback
✕
Motivic Integration and its Interactions with Model Theory and Non-Archimedean Geometry
September 2011
2
9781139142922
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
✕
Independence-Friendly Logic
A Game-Theoretic Approach
May 2011
9780521149341
Temporarily unavailable - no date available
Paperback
✕
Independence-Friendly Logic
A Game-Theoretic Approach
May 2011
9781139065382
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
✕
Finite and Algorithmic Model Theory
March 2011
9781139118606
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
✕
Finite and Algorithmic Model Theory
March 2011
9780521718202
Temporarily unavailable - no date available
Paperback
