Logic, categories and sets
Results
Proof Complexity Generators
$60.00
An Introduction to String Diagrams for Computer Scientists
$64.99
An Introduction to String Diagrams for Computer Scientists
$22.00
An Introduction to String Diagrams for Computer Scientists
Polygraphs: From Rewriting to Higher Categories
$115.00
Fast Track to Forcing
$101.00
Fast Track to Forcing
$50.00
Fast Track to Forcing
Price unavailable
Large Cardinals, Determinacy and Other Topics
$149.00
Large Cardinals, Determinacy and Other Topics
Price unavailable
The Cabal Seminar 4 Volume Hardback Set
$325.00
Initial Algebras and Terminal Coalgebras
$205.00
Abelian Model Category Theory
$84.99
An Introduction to Classical and Modal Logics
$32.99
An Introduction to Classical and Modal Logics
$99.99
The Theory of Countable Borel Equivalence Relations
$140.00
The Largest Suslin Axiom
$155.00
A Logical Foundation for Potentialist Set Theory
$32.99
A Logical Foundation for Potentialist Set Theory
$106.00
