-10% OFFCambridge University Press
Introduction to Homotopy Type Theory (English, Egbert Rijke)
₹5,441₹6,029Save 10%
Inclusive of all applicable taxes. FREE shipping on all orders.
Quantity:
1
Free DeliveryOn every order
15-Day ReturnEasy returns
Verified ListingQuality-checked
Available Offers
- 🚚Free Delivery — Free shipping on all orders
- 💵Cash on Delivery — Pay when your order arrives
- ↩️15-Day Easy Returns — Hassle-free return policy
- 🔒Cash on Delivery — Pay safely when your order arrives
Check Delivery
Book Details
| ISBN-13 | 9781108844161 |
| ISBN-10 | 1108844162 |
Product Description
About the Book
This up-to-date introduction to type theory and homotopy type theory will be essential reading for advanced undergraduate and graduate students interested in the foundations and formalization of mathematics. The book begins with a thorough and self-contained introduction to dependent type theory. No prior knowledge of type theory is required. The second part gradually introduces the key concepts of homotopy type theory: equivalences, the fundamen…
ISBN: 9781108844161
Frequently Asked Questions
What is the price of Introduction to Homotopy Type Theory?
Introduction to Homotopy Type Theory is available at ₹5,441 on BookShops.in.
Does BookShops.in offer free delivery for Introduction to Homotopy Type Theory?
FREE delivery on all orders for Introduction to Homotopy Type Theory.
Is Cash on Delivery available for Introduction to Homotopy Type Theory?
Yes, Cash on Delivery (COD) is available for Introduction to Homotopy Type Theory on BookShops.in. Pay when your order arrives.
What is the return policy for Introduction to Homotopy Type Theory?
BookShops.in offers a 15-day hassle-free return policy for Introduction to Homotopy Type Theory. Contact us at support@bookshops.in or call +91 81899 68108.
Is Introduction to Homotopy Type Theory authentic?
Introduction to Homotopy Type Theory is listed on BookShops.in after verification of product details including ISBN, title, and availability information.
