Sketches of an Elephant: A Topos Theory Compendium : 2 Volume Set
Peter T. (, Reader in the Foundations of Mathematics, Unive Johnstone
Out of stock
Format: Book (Multiple-component retail product)
Type Theory and Formal Proof : An Introduction
Rob (Technische Universiteit Eindhoven, The Netherlands) Nederpelt
Download - Immediately Available
Format: eBook (PDF)