Logic, categories and sets
Results
✕
Proof Theory and Logic Programming
Computation as Proof Search
December 2025
9781009561297
Manufactured on demand - supplied direct from the printer
Hardback
$79.99
✕
Introduction to Homotopy Type Theory
August 2025
9781108844161
Manufactured on demand - supplied direct from the printer
Hardback
$65.00
✕
Polynomial Functors
A Mathematical Theory of Interaction
August 2025
9781009576710
Manufactured on demand - supplied direct from the printer
Paperback
$100.00
✕
Polynomial Functors
A Mathematical Theory of Interaction
N/A
9781009576741
Manufactured on demand - supplied direct from the printer
Adobe eBook Reader
✕
The Logic of Entailment and its History
August 2025
9781009375276
Manufactured on demand - supplied direct from the printer
Paperback
$32.99
✕
The Logic of Entailment and its History
February 2024
9781009375313
Manufactured on demand - supplied direct from the printer
Hardback
$110.00
✕
The Logic of Entailment and its History
N/A
9781009375290
Manufactured on demand - supplied direct from the printer
Adobe eBook Reader
✕
Fast Track to Forcing
June 2025
9781108413145
Manufactured on demand - supplied direct from the printer
Paperback
$50.00
✕
Fast Track to Forcing
June 2025
9781108420150
Manufactured on demand - supplied direct from the printer
Hardback
$101.00
✕
Fast Track to Forcing
January 1970
9781108351966
Manufactured on demand - supplied direct from the printer
Adobe eBook Reader
Price unavailable
✕
Large Cardinals, Determinacy and Other Topics
The Cabal Seminar, Volume IV
June 2025
4
9781107182998
Manufactured on demand - supplied direct from the printer
Hardback
$149.00
✕
Large Cardinals, Determinacy and Other Topics
The Cabal Seminar, Volume IV
January 1970
4
9781316873632
Manufactured on demand - supplied direct from the printer
Adobe eBook Reader
Price unavailable
✕
The Cabal Seminar 4 Volume Hardback Set
Volumes I–IV
June 2025
9781108920223
Manufactured on demand - supplied direct from the printer
Multiple copy pack
$325.00
✕
Proof Complexity Generators
June 2025
9781009611701
Manufactured on demand - supplied direct from the printer
Paperback
$60.00
✕
Proof Complexity Generators
N/A
9781009611695
Manufactured on demand - supplied direct from the printer
Adobe eBook Reader
✕
An Introduction to String Diagrams for Computer Scientists
May 2025
9781009625708
Manufactured on demand - supplied direct from the printer
Hardback
$64.99
✕
An Introduction to String Diagrams for Computer Scientists
May 2025
9781009625746
Manufactured on demand - supplied direct from the printer
Paperback
$22.00
✕
An Introduction to String Diagrams for Computer Scientists
N/A
9781009625739
Manufactured on demand - supplied direct from the printer
Adobe eBook Reader
✕
Polygraphs: From Rewriting to Higher Categories
April 2025
9781009498982
Manufactured on demand - supplied direct from the printer
Paperback
$115.00
✕
Polygraphs: From Rewriting to Higher Categories
N/A
9781009498975
Manufactured on demand - supplied direct from the printer
Adobe eBook Reader
✕
Initial Algebras and Terminal Coalgebras
The Theory of Fixed Points of Functors
February 2025
9781108835466
Manufactured on demand - supplied direct from the printer
Hardback
$205.00
✕
Initial Algebras and Terminal Coalgebras
The Theory of Fixed Points of Functors
N/A
9781108880671
Manufactured on demand - supplied direct from the printer
Adobe eBook Reader
✕
Abelian Model Category Theory
January 2025
9781009449465
Manufactured on demand - supplied direct from the printer
Hardback
$84.99
✕
Abelian Model Category Theory
N/A
9781009449496
Manufactured on demand - supplied direct from the printer
Adobe eBook Reader
