Kosár
áru
(üres)
Kapcsolat
Fiók
A gentle introduction for graduate students and researchers in the art of formalizing mathematics on the basis of type theory.
tovább
A gentle introduction for graduate students and researchers in the art of formalizing mathematics on the basis of type theory.
leírás elrejtése
- Kiadó: Cambridge University Press
- Kód:
- Kiadás éve: 2014
- Nyelv: Angol
- Kötés: Kötött
- Oldalak száma: 466
- Csomag szélessége: 17.7 cm
- Csomag magassága: 25.4 cm
- Csomag mélysége: 2.9 cm
- Csomag súlya: 948 g
Recenzió