Stefan Muller-Stach
The Code of Mathematics: Proof and Truth
The Code of Mathematics: Proof and Truth
💎 Earn 206 Points (£2.06) on this item.
YOU SAVE £8.70
- Condition: Brand new
- UK Delivery times: Usually arrives within 2 - 3 working days
- UK Shipping: Fee starts at £3.89. Subject to product weight & dimension
Bulk ordering. Want 15 or more copies? Get a personalised quote and bigger discounts. Learn more about bulk orders.
Couldn't load pickup availability
- More about The Code of Mathematics: Proof and Truth
Format: Paperback / softback
Length: 170 pages
Publication date: 04 September 2024
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
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.
Weight: 290g
Dimension: 155 x 235 x 14 (mm)
ISBN-13: 9783662694824
Edition number: 2024 ed.
UK and International shipping information
UK and International shipping information
We deliver throughout the United Kingdom and to 128 countries and territories worldwide, including the United States, Australia, Canada, Germany, Spain and France.
