Košík
tovar
(prázdne)
Kontakt
Účet
A gentle introduction for graduate students and researchers in the art of formalizing mathematics on the basis of type theory.
prečítať celé
A gentle introduction for graduate students and researchers in the art of formalizing mathematics on the basis of type theory.
Skryť popis
- Nakladateľ: Cambridge University Press
- Kód:
- Rok vydania: 2014
- Jazyk: Angličtina
- Väzba: Hardback
- Počet strán: 466
- Šírka balenia: 17.7 cm
- Výška balenia: 25.4 cm
- Hĺbka balenia: 2.9 cm
- Váha balenia: 948 g
Recenzie