The Code of Mathematics: Proof and Truth - Mathematics Study Resources - Stefan Muller-Stach - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783662694824 - September 4, 2024
In case cover and title do not match, the title is correct

Stefan Muller-Stach
The Code of Mathematics: Proof and Truth - Mathematics Study Resources 2024 edition

Price
$ 59.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 1 - 5

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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.

238 pages, 33 Illustrations, color; 12 Illustrations, black and white; XI, 238 p. 54 illus.

Media Books     Paperback Book   (Book with soft cover and glued back)
Released September 4, 2024
ISBN13 9783662694824
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 170
Dimensions 235 × 155 × 14 mm   ·   290 g
Language English  

More by Stefan Muller-Stach

Show all

See all of Stefan Muller-Stach ( e.g. Paperback Book , Book and Hardcover Book )