Introduction to Homotopy Type Theory - Cambridge Studies in Advanced Mathematics - Rijke, Egbert (The Johns Hopkins University, Maryland) - Books - Cambridge University Press - 9781108844161 - November 6, 2025
In case cover and title do not match, the title is correct

Rijke, Egbert (The Johns Hopkins University, Maryland)
Introduction to Homotopy Type Theory - Cambridge Studies in Advanced Mathematics

Price
$ 65.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Aug 3 - 6
Get notified about new Rijke, Egbert (The Johns Hopkins University, Maryland) releases

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

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.

Media Books     Hardcover Book   (Book with hard spine and cover)
Released November 6, 2025
ISBN13 9781108844161
Publishers Cambridge University Press
Pages 386
Dimensions 237 × 161 × 29 mm   ·   704 g
Language English  

More from the same publisher

See all of Rijke, Egbert (The Johns Hopkins University, Maryland) ( e.g. Hardcover Book )