Number of the records: 1
Homotopy type theory
- Homotopy type theory : univalent foundations of mathematics / The Univalent Foundations Program, Institute for Advanced Study. [Princeton] : The Univalent Foundations Program, [2013] ©2013 . xiii, 605 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 
book
Number of the records: 1