Introduction to Homotopy Type Theory - Egbert Rijke
Výrobce: Cambridge
EAN: 9781108844161
Výrobní číslo: 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.
Cena 1 650 Kč v 1 obchodě
Obchody, které prodávají Introduction to Homotopy Type Theory - Egbert Rijke
Zobrazit historii ceny Introduction to Homotopy Type Theory - Egbert Rijke
Historie nejnižsí ceny Introduction to Homotopy Type Theory - Egbert Rijke. Porovnání obchodů, které prodávají Introduction to Homotopy Type Theory - Egbert Rijke.
Kamarád ze skal - Štyrsa Josef
Vsuvka do Putování na západ: román na 
Zelená
A Legacy of Spies - Le Carré John
Býk
Almanach českých šlechtických a rytířs
Houby
Bibiana píská na prsty
- Binar I
Petr Camenzind
Jannes Hannu, Roberts Owen,: Ptáci naš
Spinderella
- Donaldson Julia
Historie pravdivá Jana Augusty a Jakub
