Košara
roba
(prazno)
Kontakt
Račun
A gentle introduction for graduate students and researchers in the art of formalizing mathematics on the basis of type theory.
pročitati sve
A gentle introduction for graduate students and researchers in the art of formalizing mathematics on the basis of type theory.
sakriti opis
- Izdavač: Cambridge University Press
- Kod:
- Godina izdavanja: 2014
- Jezik: Engleski jezik
- Uvez: Vezana
- Broj stranica: 466
- Širina pakiranja: 17.7 cm
- Visina pakiranja: 25.4 cm
- Dubina pakiranja: 2.9 cm
- Težina pakiranja: 948 g
Recenzije