Koszyk
towar
(pusty)
Kontakt
Konto
A gentle introduction for graduate students and researchers in the art of formalizing mathematics on the basis of type theory.
przeczytaj całość
A gentle introduction for graduate students and researchers in the art of formalizing mathematics on the basis of type theory.
ukryj opis
- Wydawnictwo: Cambridge University Press
- Kod:
- Rok wydania: 2014
- Język: Angielski
- Oprawa: Twarda
- Liczba stron: 466
- Szerokość opakowania: 17.7 cm
- Wysokość opakowania: 25.4 cm
- Głębokość opakowania: 2.9 cm
- Waga: 948 g
Recenzja