Logic, categories and sets
Results
Proof Complexity Generators
$60.00
Polygraphs: From Rewriting to Higher Categories
$115.00
Polygraphs: From Rewriting to Higher Categories
$115.00
Maurer–Cartan Methods in Deformation Theory
$57.99
Maurer–Cartan Methods in Deformation Theory
$57.99
The Logical Approach to Automatic Sequences
$90.00
The Logical Approach to Automatic Sequences
$90.00
(Co)end Calculus
$94.99
Synthetic Differential Topology
$83.99
O-Minimality and Diophantine Geometry
$75.99
Appalachian Set Theory
$81.99
Motivic Integration and its Interactions with Model Theory and Non-Archimedean Geometry
$72.00
Motivic Integration and its Interactions with Model Theory and Non-Archimedean Geometry
$64.99
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
$44.99
$91.00
Independence-Friendly Logic
$85.99
Finite and Algorithmic Model Theory
$78.99
