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

Recommended product

Popular links

Popular links


Logic, categories and sets

Results

Filter
Current filters
Clear all
Refine results
Show more
Show more

Results

Per Page 1 – 12 of 44
Proof Complexity Generators
Jan Krajíček Jan Krajíček
August 2025
9781009611701
Not yet published - available from August 2025
Paperback
AUD$86.95
Polygraphs: From Rewriting to Higher Categories
Dimitri Ara
(+5 others)
Dimitri Ara
Albert Burroni
Yves Guiraud
(+3 others)
April 2025
9781009498982
Not yet published - available from June 2025
Paperback
AUD$173.95
Polygraphs: From Rewriting to Higher Categories
Dimitri Ara
(+5 others)
Dimitri Ara
Albert Burroni
Yves Guiraud
(+3 others)
March 2025
9781009498975
Not yet published - available from March 2025
Adobe eBook Reader
$115.00
Maurer–Cartan Methods in Deformation Theory
The Twisting Procedure
Vladimir Dotsenko
(+2 others)
Vladimir Dotsenko
Sergey Shadrin
Bruno Vallette
September 2023
9781108965644
Available
Paperback
AUD$92.95
Maurer–Cartan Methods in Deformation Theory
The Twisting Procedure
Vladimir Dotsenko
(+2 others)
Vladimir Dotsenko
Sergey Shadrin
Bruno Vallette
September 2023
9781108967020
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$57.99
The Logical Approach to Automatic Sequences
Exploring Combinatorics on Words with Walnut
Jeffrey Shallit Jeffrey Shallit
September 2022
9781108786973
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$95.00
The Logical Approach to Automatic Sequences
Exploring Combinatorics on Words with Walnut
Jeffrey Shallit Jeffrey Shallit
September 2022
9781108745246
Available
Paperback
AUD$135.95
(Co)end Calculus
Fosco Loregian Fosco Loregian
July 2021
9781108788601
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$101.00
(Co)end Calculus
Fosco Loregian Fosco Loregian
July 2021
9781108746120
Available
Paperback
AUD$112.95
Synthetic Differential Topology
Marta Bunge
(+2 others)
Marta Bunge
Felipe Gago
Ana María San Luis
March 2018
9781108447232
Available
Paperback
AUD$125.95
Synthetic Differential Topology
Marta Bunge
(+2 others)
Marta Bunge
Felipe Gago
Ana María San Luis
March 2018
9781108563352
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$89.00
O-Minimality and Diophantine Geometry
G. O. Jones
(+1 other)
G. O. Jones
A. J. Wilkie
August 2015
9781107462496
Available
Paperback
AUD$112.95
O-Minimality and Diophantine Geometry
G. O. Jones
(+1 other)
G. O. Jones
A. J. Wilkie
August 2015
9781316311080
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$81.00
Appalachian Set Theory
2006–2012
James Cummings
(+1 other)
James Cummings
Ernest Schimmerling
November 2012
9781107608504
Available
Paperback
AUD$121.95
Appalachian Set Theory
2006–2012
James Cummings
(+1 other)
James Cummings
Ernest Schimmerling
November 2012
9781139848596
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$87.00
Motivic Integration and its Interactions with Model Theory and Non-Archimedean Geometry
Raf Cluckers
(+2 others)
Raf Cluckers
Johannes Nicaise
Julien Sebag
September 2011
1
9780521149761
Available
Paperback
AUD$133.95
Motivic Integration and its Interactions with Model Theory and Non-Archimedean Geometry
Raf Cluckers
(+2 others)
Raf Cluckers
Johannes Nicaise
Julien Sebag
September 2011
1
9781139142595
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$95.00
Motivic Integration and its Interactions with Model Theory and Non-Archimedean Geometry
Raf Cluckers
(+2 others)
Raf Cluckers
Johannes Nicaise
Julien Sebag
September 2011
2
9781107648814
Available
Paperback
AUD$104.95
Motivic Integration and its Interactions with Model Theory and Non-Archimedean Geometry
Raf Cluckers
(+2 others)
Raf Cluckers
Johannes Nicaise
Julien Sebag
September 2011
2
9781139142922
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$72.00
Independence-Friendly Logic
A Game-Theoretic Approach
Allen L. Mann
(+2 others)
Allen L. Mann
Gabriel Sandu
Merlijn Sevenster
May 2011
9780521149341
Available
Paperback
AUD$127.95
Independence-Friendly Logic
A Game-Theoretic Approach
Allen L. Mann
(+2 others)
Allen L. Mann
Gabriel Sandu
Merlijn Sevenster
May 2011
9781139065382
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$91.00
Finite and Algorithmic Model Theory
Javier Esparza
(+2 others)
Javier Esparza
Christian Michaux
Charles Steinhorn
March 2011
9781139118606
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$84.00
Finite and Algorithmic Model Theory
Javier Esparza
(+2 others)
Javier Esparza
Christian Michaux
Charles Steinhorn
March 2011
9780521718202
Available
Paperback
AUD$117.95
Per Page 1 – 12 of 44