Logic, categories and sets
Results
Proof Complexity Generators
AUD$79.05
Polygraphs: From Rewriting to Higher Categories
AUD$158.14
Polygraphs: From Rewriting to Higher Categories
$115.00
Maurer–Cartan Methods in Deformation Theory
AUD$84.50
Maurer–Cartan Methods in Deformation Theory
$57.99
The Logical Approach to Automatic Sequences
$95.00
The Logical Approach to Automatic Sequences
AUD$123.59
(Co)end Calculus
$101.00
AUD$114.50
Synthetic Differential Topology
$89.00
AUD$102.68
O-Minimality and Diophantine Geometry
$81.00
AUD$110.86
Appalachian Set Theory
$87.00
Motivic Integration and its Interactions with Model Theory and Non-Archimedean Geometry
AUD$121.77
Motivic Integration and its Interactions with Model Theory and Non-Archimedean Geometry
$95.00
Motivic Integration and its Interactions with Model Theory and Non-Archimedean Geometry
AUD$95.41
Motivic Integration and its Interactions with Model Theory and Non-Archimedean Geometry
$72.00
AUD$116.32
Independence-Friendly Logic
$91.00
Finite and Algorithmic Model Theory
$84.00
AUD$107.23
