
Introduction to Homotopy Type Theory (English, Egbert Rijke)
by Egbert Rijke
Delivery options
₹6,029
Genuine Book · Tracked Delivery
Free Shipping · Dispatched in 1–2 days💵 COD Available📦 Delivery in 3-4 days
Available Offers
Free Delivery — Ships same day. Delivery in 3-4 business days.
15-Day Easy Returns — hassle-free return & full refund.
Secure Payment — 100% safe checkout with UPI, Cards & Net Banking.
Total: ₹6,029
Book Details
Publisher
Cambridge University Press
Language
English
ISBN-13
9781108844161
ISBN-10
1108844162
Author
Egbert Rijke
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
ISBN-13: 9781108844161
ISBN-10: 1108844162
Frequently Asked Questions
What is the price of Introduction to Homotopy Type Theory?
Introduction to Homotopy Type Theory starts from ₹6029 at BookBajar. Available in Paperback.
Who is the author of Introduction to Homotopy Type Theory?
Egbert Rijke is the author of Introduction to Homotopy Type Theory. Browse more books by Egbert Rijke on BookBajar.
Is Introduction to Homotopy Type Theory available in Paperback and Hardcover?
Yes, Introduction to Homotopy Type Theory is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Introduction to Homotopy Type Theory?
Yes, BookBajar offers free delivery for Introduction to Homotopy Type Theory across India. No minimum order value required.
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 BookBajar. You can pay when your order is delivered.
Product ID: isbn-9781108844161
🛒 Customers Also Bought

Quantum Mechanics (English, Julian Schwinger | Berthold-Georg Englert)
₹11,950
Zivilrechtliche Mietpreiskontrolle (English, Jürgen Keller)
₹3,508
Faktorenanalyse (English, K. Überla)
₹3,508
The Newton-Cauchy Framework (English, John L. Nazareth)
₹5,433
Teaching School Mathematics: Algebra (English, Hardcover, Hung-Hsi Wu)
₹5,213
Chandragupta Maurya: The Creation of a National Hero in India (English, Paperback, Sushma Jansari)
₹2,640Related Products

Software Engineering Education (English, Jorge L. Diaz-Herrera)
₹11,549
Datenstrukturen in Apl2 (English, Hanspeter Bieri | Felix Grimm)
₹3,873
Writing Intimacy Into Feminist Geography (English, Paperback)
₹2,700
Five Types of Ethical Theory (English, Broad C.D.)
₹36,229
Wind Resistant Design of Bridges in Japan (English, Yozo Fujino | Kichiro Kimura | Hiroshi Tanaka)
₹11,436