Introduction to Homotopy Type Theory
Vše od
Cambridge University Press
ISBN: 9781108844161
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.
1 563 Kč
- 1 - 2 ks
- 1 563 Kč
- 3 - 10 ks
- 1 548 Kč
- 11 a více ks
- 1 532 Kč
Předpoklad doručení do 11. května *
* Termín expedice je odhadovaný a může se mírně upravit podle termínu dodání od našeho dodavatele. Pokud by došlo ke změně, vždy vás budeme včas informovat.
Nepřehlédněte od Cambridge University Press ↓
1 563 Kč
Více o produktu ↓
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.
- Výrobce
- Cambridge University Press
- Jazyk
- United Kingdom
- Autor
- Rijke, Egbert (The Johns Hopkins University, Maryland)
- Rozměry
- 161 x 237 x 29
- Rok vydání
- 2025
- Počet stran
- 386
- Obsah
- Hardback
- Hmotnost
- 694
- Počet stran
- 386 pages, Worked examples or Exercises
Zanechte své hodnocení
Budeme rádi, když se podělíte o svou zkušenost s Introduction to Homotopy Type Theory a pomůžete tak ostatním zákazníkům při výběru.
Navíc každý měsíc losujeme jednoho z těch, kteří nám zanechali recenzi, a obdarujeme ho kuponem na nákup v hodnotě 500 Kč. Možná právě Vy budete tím šťastným – držíme palce!
