Code of Mathematics
Proof and Truth
Häftad, Engelska, 2024
839 kr
Beställningsvara. Skickas inom 10-15 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.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.
Produktinformation
- Utgivningsdatum2024-09-04
- Mått155 x 235 x 14 mm
- Vikt290 g
- FormatHäftad
- SpråkEngelska
- SerieMathematics Study Resources
- Antal sidor170
- FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN9783662694824
- OriginaltitelDer Code der Mathematik