Logic, categories and sets
Results
Filter
Current filters
Refine results
Results
✕
Proof Theory and Logic Programming
Computation as Proof Search
December 2025
9781009561297
Not yet published - available from December 2025
Hardback
✕
Polynomial Functors
A Mathematical Theory of Interaction
November 2025
9781009576710
Not yet published - available from November 2025
Paperback
✕
Polynomial Functors
A Mathematical Theory of Interaction
August 2025
9781009576741
Not yet published - available from August 2025
Adobe eBook Reader
✕
Introduction to Homotopy Type Theory
August 2025
9781108844161
Not yet published - available from August 2025
Hardback
✕
The Logic of Entailment and its History
August 2025
9781009375276
Not yet published - available from July 2025
Paperback
✕
The Logic of Entailment and its History
August 2025
9781009375290
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
✕
✕
Proof Complexity Generators
June 2025
9781009611701
Not yet published - available from August 2025
Paperback
✕
Proof Complexity Generators
May 2025
9781009611695
Not yet published - available from May 2025
Adobe eBook Reader
✕
Open Access
An Introduction to String Diagrams for Computer Scientists
May 2025
9781009625708
Available
Hardback
✕
Open Access
An Introduction to String Diagrams for Computer Scientists
May 2025
9781009625739
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
✕
Open Access
An Introduction to String Diagrams for Computer Scientists
May 2025
9781009625746
Available
Paperback
✕
Polygraphs: From Rewriting to Higher Categories
April 2025
9781009498982
Available, despatch within 3-4 weeks
Paperback
✕
Polygraphs: From Rewriting to Higher Categories
April 2025
9781009498975
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
✕
Initial Algebras and Terminal Coalgebras
The Theory of Fixed Points of Functors
February 2025
9781108880671
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
✕
Initial Algebras and Terminal Coalgebras
The Theory of Fixed Points of Functors
February 2025
9781108835466
Available
Hardback
✕
Abelian Model Category Theory
January 2025
9781009449496
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
✕
✕
An Introduction to Classical and Modal Logics
The Outlines of Knowledge
November 2024
9781009450690
Available
Hardback
✕
An Introduction to Classical and Modal Logics
The Outlines of Knowledge
November 2024
9781009450683
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
✕
An Introduction to Classical and Modal Logics
The Outlines of Knowledge
November 2024
9781009450676
Available
Paperback
✕
✕
The Largest Suslin Axiom
June 2024
9781009520690
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
✕
A Logical Foundation for Potentialist Set Theory
April 2024
9781108998857
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
✕
✕
