Logic, categories and sets
Results
Proof Complexity Generators
NZD$86.95
Polygraphs: From Rewriting to Higher Categories
NZD$173.95
Polygraphs: From Rewriting to Higher Categories
$115.00
Maurer–Cartan Methods in Deformation Theory
NZD$92.95
Maurer–Cartan Methods in Deformation Theory
$57.99
The Logical Approach to Automatic Sequences
$95.00
The Logical Approach to Automatic Sequences
NZD$135.95
(Co)end Calculus
$101.00
NZD$125.95
Synthetic Differential Topology
$89.00
NZD$112.95
O-Minimality and Diophantine Geometry
$81.00
NZD$121.95
Appalachian Set Theory
$87.00
Motivic Integration and its Interactions with Model Theory and Non-Archimedean Geometry
NZD$133.95
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
NZD$104.95
Motivic Integration and its Interactions with Model Theory and Non-Archimedean Geometry
$72.00
NZD$127.95
Independence-Friendly Logic
$91.00
Finite and Algorithmic Model Theory
$84.00
NZD$117.95
