Logic, categories and sets
Results
✕
Proof Complexity Generators
May 2025
9781009611701
Not yet published - available from May 2025
Paperback
✕
Open Access
An Introduction to String Diagrams for Computer Scientists
April 2025
9781009625708
Not yet published - available from April 2025
Hardback
✕
Open Access
An Introduction to String Diagrams for Computer Scientists
April 2025
9781009625746
Not yet published - available from April 2025
Paperback
✕
Open Access
An Introduction to String Diagrams for Computer Scientists
N/A
9781009625739
Adobe eBook Reader
✕
Polygraphs: From Rewriting to Higher Categories
April 2025
9781009498982
Not yet published - available from March 2025
Paperback
✕
✕
Fast Track to Forcing
February 2025
9781108420150
Not yet published - available from February 2025
Hardback
✕
Fast Track to Forcing
February 2025
9781108413145
Not yet published - available from February 2025
Paperback
✕
Fast Track to Forcing
January 1970
9781108351966
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
✕
Large Cardinals, Determinacy and Other Topics
The Cabal Seminar, Volume IV
February 2025
4
9781107182998
Not yet published - available from February 2025
Hardback
✕
Large Cardinals, Determinacy and Other Topics
The Cabal Seminar, Volume IV
January 1970
4
9781316873632
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
✕
The Cabal Seminar 4 Volume Hardback Set
Volumes I–IV
February 2025
9781108920223
Not yet published - available from February 2025
Multiple copy pack
✕
Initial Algebras and Terminal Coalgebras
The Theory of Fixed Points of Functors
February 2025
9781108835466
Not yet published - available from February 2025
Hardback
✕
Abelian Model Category Theory
January 2025
9781009449465
Not yet published - available from February 2025
Hardback
✕
An Introduction to Classical and Modal Logics
The Outlines of Knowledge
November 2024
9781009450676
Not yet published - available from February 2025
Paperback
✕
An Introduction to Classical and Modal Logics
The Outlines of Knowledge
November 2024
9781009450690
Not yet published - available from February 2025
Hardback
✕
The Theory of Countable Borel Equivalence Relations
November 2024
9781009562294
Not yet published - available from February 2025
Hardback
✕
The Largest Suslin Axiom
June 2024
9781009520713
Not yet published - available from February 2025
Hardback
✕
A Logical Foundation for Potentialist Set Theory
April 2024
9781108994880
Not yet published - available from February 2025
Paperback
✕
A Logical Foundation for Potentialist Set Theory
February 2022
9781108834315
Not yet published - available from February 2025
Hardback
