The Code of Mathematics. Proof and Truth, 2024 ed., Paperback

Inspired by recent developments in dependent type theory and infinity categories, this book presents a history of ideas around the topics of truth, proof, equality and equivalence. The main focus of this textbook is on dependent type theory and its recent variant homotopy type theory.

• Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Author(s): Stefan Muller-Stach
• Illustration(s): 51 Illustrations, black and white; XIII, 170 p. 51 illus.
• Number of pages: 170
• Collection: Mathematics Study Resources
• Publication date: 2024
• Dimensions: 155 x 235 x 14
• Cover type: Paperback / softback