Košík
zboží
(prázdné)
A gentle introduction for graduate students and researchers in the art of formalizing mathematics on the basis of type theory.
číst celé
A gentle introduction for graduate students and researchers in the art of formalizing mathematics on the basis of type theory.
schovat popis
- Nakladatel: Cambridge University Press
- Kód:
- Rok vydání: 2014
- Jazyk: Angličtina
- Vazba: Vázaná
- Počet stran: 466
- Šířka balení: 17.7 cm
- Výška balení: 25.4 cm
- Hloubka balení: 2.9 cm
- Váha balení: 948 g
Recenze