Homotopy type theory : Univalent foundations of mathematics / Univalent foundations program, Institute for advanced study
Autor
Univalent foundations program, Institute for advanced study
Nakladnik
Princeton, N.J. : Institute for Advanced Study, 2013
Materijalni opis
xiii, 595 str. ; 24 cm
Napomena
Knjiga je nastala zajedničkim radom brojnih sudionika u godini Special Year on Univalent foundations održanoj 2012-2013 na Institute for advanced study, School of mathematics u organizaciji Steve Awodeya, Thierry Coquanda i Vladimira Voevodskya.
 
Zadaci.
 
Bibliografija: str. [337] -567.
 
Kazala.
Klasifikacijska oznaka
03-02 Research exposition (monographs, survey articles)
 
55-02 Research exposition (monographs, survey articles)
 
03B15 Higher-order logic and type theory
Jezik
engleski
Građa
Knjigaknjiga
Cjeloviti sadržaj online

UNIVALENT foundations program, Institute for advanced study
Homotopy type theory : Univalent foundations of mathematics / Univalent foundations program, Institute for advanced study. - Princeton, N.J. : Institute for Advanced Study, 2013. - xiii, 595 str. ; 24 cm
Knjiga je nastala zajedničkim radom brojnih sudionika u godini Special Year on Univalent foundations održanoj 2012-2013 na Institute for advanced study, School of mathematics u organizaciji Steve Awodeya, Thierry Coquanda i Vladimira Voevodskya. - Zadaci. - Bibliografija: str. [337] -567. - Kazala.

Katalog
  • Upute
Usluge
  • Moja iskaznica | Za članove
Knjige
Zaštićeno autorskim pravom ©1999.-2019. Knjižnice grada Zagreba i VIVaInfo d.o.o. Sva prava pridržana.