-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 orders above ₹499, else ₹49 flat.
Quantity:
1
Free DeliveryOn orders above ₹499
15-Day ReturnEasy returns
Verified ListingQuality-checked
Available Offers
- 🚚Free Delivery — Free on orders above ₹499, else ₹49 flat
- 💵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
Specifications
| Publisher | Cambridge University Press |
| Language | English |
| ISBN-13 | 9781108844161 |
| ISBN-10 | 1108844162 |
| Author | Egbert Rijke |
Product Description
Here on GlowMirror, you'll find Introduction to Homotopy Type Theory filed under Cambridge University Press -- everything you need to know is covered below.
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
Book Insights
What You'll Learn
- ·In-depth exploration of topics covered in Introduction to Homotopy Type Theory
- ·Key concepts explained with clarity and practical examples
- ·Insights valuable for anyone studying or working in Cambridge University Press
Who Should Read This
Beginners and newcomers to the subject, as well as curious general readers.
Key Highlights
- ·Brand new physical book delivered across India
- ·15-day hassle-free return policy
Frequently Asked Questions
What is the price of Introduction to Homotopy Type Theory?
Introduction to Homotopy Type Theory is available at ₹5,441 on GlowMirror. The original MRP is ₹6,029, saving you 10%.
Does GlowMirror offer free delivery for Introduction to Homotopy Type Theory?
GlowMirror offers free delivery on orders above ₹499. For Introduction to Homotopy Type Theory priced at ₹5,441, you qualify for free shipping.
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 GlowMirror across India. Pay conveniently when your order arrives.
What is the return policy for Introduction to Homotopy Type Theory?
GlowMirror offers a 15-day hassle-free return policy for Introduction to Homotopy Type Theory. Returns are free of charge. Contact us at info@glowmirror.in or call +91 99446 78357 to initiate a return.
Is Introduction to Homotopy Type Theory available in English?
Introduction to Homotopy Type Theory is available in English on GlowMirror.
Who is the author of Introduction to Homotopy Type Theory?
Introduction to Homotopy Type Theory is authored by Egbert Rijke.
Who published Introduction to Homotopy Type Theory?
Introduction to Homotopy Type Theory is published by Cambridge University Press.
How many pages does Introduction to Homotopy Type Theory have?
Page count information for Introduction to Homotopy Type Theory is available in the specifications section of this page.
How long does it take to read Introduction to Homotopy Type Theory?
At an average reading speed of 250 words per minute, reading Introduction to Homotopy Type Theory takes a few hours to a few days depending on reading pace.
What is Introduction to Homotopy Type Theory about?
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 dependen...
Is Introduction to Homotopy Type Theory suitable for beginners?
Whether Introduction to Homotopy Type Theory is suitable for beginners depends on your background in Cambridge University Press. Review the product description and specifications above for details on the target audience and difficulty level.
What edition is Introduction to Homotopy Type Theory?
Introduction to Homotopy Type Theory is from the Cambridge University Press edition/year. Check the specifications section for full edition details.
How do I order Introduction to Homotopy Type Theory on GlowMirror?
To order Introduction to Homotopy Type Theory on GlowMirror, click the "Add to Cart" button on this page, proceed to checkout, and choose your preferred payment method — online payment or Cash on Delivery. Delivery takes 2–7 business days across India.
Is Introduction to Homotopy Type Theory a new or used book?
Introduction to Homotopy Type Theory listed on GlowMirror is a brand new book in good condition.
Can I get Introduction to Homotopy Type Theory delivered across India?
Yes, GlowMirror delivers Introduction to Homotopy Type Theory across India. Use the pincode checker on this page to verify delivery availability to your location.
