Introduction to Homotopy Type Theory
by
Egbert Rijke
Book Details
Format
Hardback or Cased Book
Book Series
Cambridge Studies in Advanced Mathematics
ISBN-10
1108844162
ISBN-13
9781108844161
Publisher
Cambridge University Press
Imprint
Cambridge University Press
Country of Manufacture
GB
Country of Publication
GB
Publication Date
Aug 31st, 2025
Print length
383 Pages
Product Classification:
Mathematical foundations
Ksh 9,000.00
Werezi Extended Catalogue
Delivery in 14 days
3 copies in stock
Delivery Location
Delivery fee: Select location
Delivery in 14 days
Secure
Quality
Fast
An introduction to type theory and the univalence axiom, aimed at advanced undergraduate and graduate students of mathematics and computer science with an interest in the foundations and formalization of mathematics. Prerequisites are minimal and over 200 exercises provide ample practice material.
Get Introduction to Homotopy Type Theory by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Cambridge University Press and it has pages.