Book Details
Format
Paperback / Softback
Book Series
Mathematics Study Resources
ISBN-10
3662694824
ISBN-13
9783662694824
Edition
2024 ed.
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Country of Manufacture
GB
Country of Publication
GB
Publication Date
Sep 4th, 2024
Print length
170 Pages
Weight
290 grams
Dimensions
15.50 x 23.50 x 1.40 cms
Product Classification:
Philosophy of mathematics
Ksh 8,100.00
Werezi Extended Catalogue
Delivery in 14 days
Delivery Location
Delivery fee: Select location
Delivery in 14 days
Secure
Quality
Fast
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.
Get The Code of Mathematics by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG and it has pages.
