Logic, categories and sets
Results
Proof Complexity Generators
AUD$86.95
An Introduction to String Diagrams for Computer Scientists
AUD$96.95
An Introduction to String Diagrams for Computer Scientists
AUD$32.95
An Introduction to String Diagrams for Computer Scientists
AUD$29.95
Polygraphs: From Rewriting to Higher Categories
AUD$173.95
Polygraphs: From Rewriting to Higher Categories
AUD$158.14
Initial Algebras and Terminal Coalgebras
AUD$298.95
Abelian Model Category Theory
$84.99
An Introduction to Classical and Modal Logics
AUD$48.95
An Introduction to Classical and Modal Logics
AUD$144.95
The Largest Suslin Axiom
$155.00
A Logical Foundation for Potentialist Set Theory
$32.99
AUD$47.95
AUD$145.95
Paradoxes and Inconsistent Mathematics
$34.99
AUD$51.95
AUD$145.95
The Joy of Abstraction
AUD$28.95
The Joy of Abstraction
$19.95
The Joy of Abstraction
AUD$38.95
Topological Duality for Distributive Lattices
AUD$125.95
Topological Duality for Distributive Lattices
$84.99
AUD$164.95
The Logic of Entailment and its History
$110.00
