Type Theory and Formal Proof : An Introduction
Rob (Technische Universiteit Eindhoven, The Netherlands) Nederpelt
In Stock - usually despatched within 24 hours
Format: Book (Hardback)
Elements of 8-Category Theory
Emily (The Johns Hopkins University, Maryland) Riehl
In Stock - usually despatched within 24 hours
Format: Book (Hardback)
Ideals, Varieties, and Algorithms : An Introduction to Computational Algebraic Geometry and Commutative Algebra
David Cox
Download - Immediately Available
Format: eBook (PDF)
Structural Ramsey Theory of Metric Spaces and Topological Dynamics of Isometry Groups
L. Nguyen Van The
Download - Immediately Available
Format: eBook (PDF)
Type Theory and Formal Proof : An Introduction
Rob (Technische Universiteit Eindhoven, The Netherlands) Nederpelt
Download - Immediately Available
Format: eBook (PDF)
Sketches of an Elephant: A Topos Theory Compendium : Volume 1
Peter T. (, Reader in the Foundations of Mathematics, Unive Johnstone
In Stock - usually despatched within 24 hours
Format: Book (Hardback)