Logic, categories and sets
Results
Proof Complexity Generators
CAD$68.95
Polygraphs: From Rewriting to Higher Categories
CAD$131.95
Polygraphs: From Rewriting to Higher Categories
CAD$131.95
An Introduction to String Diagrams for Computer Scientists
CAD$74.95
An Introduction to String Diagrams for Computer Scientists
CAD$24.95
An Introduction to String Diagrams for Computer Scientists
CAD$24.95
Initial Algebras and Terminal Coalgebras
CAD$235.95
Abelian Model Category Theory
$84.99
An Introduction to Classical and Modal Logics
CAD$37.95
An Introduction to Classical and Modal Logics
CAD$114.95
The Theory of Countable Borel Equivalence Relations
$140.00
CAD$160.95
The Largest Suslin Axiom
$155.00
Topological Duality for Distributive Lattices
CAD$97.95
Topological Duality for Distributive Lattices
$84.99
A Logical Foundation for Potentialist Set Theory
$32.99
CAD$37.95
CAD$114.95
Paradoxes and Inconsistent Mathematics
$34.99
The Joy of Abstraction
CAD$22.95
The Joy of Abstraction
$19.95
The Joy of Abstraction
CAD$29.95
