Logic, categories and sets
Results
Proof Complexity Generators
AUD$79.05
An Introduction to String Diagrams for Computer Scientists
AUD$88.14
An Introduction to String Diagrams for Computer Scientists
AUD$29.95
An Introduction to String Diagrams for Computer Scientists
AUD$27.23
Polygraphs: From Rewriting to Higher Categories
AUD$158.14
Polygraphs: From Rewriting to Higher Categories
AUD$143.76
Initial Algebras and Terminal Coalgebras
AUD$271.77
Abelian Model Category Theory
$84.99
An Introduction to Classical and Modal Logics
AUD$44.50
An Introduction to Classical and Modal Logics
AUD$131.77
The Largest Suslin Axiom
$155.00
A Logical Foundation for Potentialist Set Theory
$32.99
AUD$43.59
AUD$132.68
Paradoxes and Inconsistent Mathematics
$34.99
AUD$47.23
AUD$132.68
The Joy of Abstraction
AUD$26.32
The Joy of Abstraction
$19.95
The Joy of Abstraction
AUD$35.41
Topological Duality for Distributive Lattices
AUD$114.50
Topological Duality for Distributive Lattices
$84.99
AUD$149.95
The Logic of Entailment and its History
$110.00
