Number of the records: 1
Homotopy type theory
Title statement Homotopy type theory : univalent foundations of mathematics / The Univalent Foundations Program, Institute for Advanced Study Main entry-corp. Institute for advanced study (Princeton, N. J.). Univalent Foundations of Mathematics (author) Publication [Princeton] : The Univalent Foundations Program, [2013] Copyright notice date ©2013 Phys.des. xiii, 605 stran Internal Bibliographies/Indexes Note Obsahuje bibliografii a rejstřík Subj. Headings teorie homotopií homotopy theory Form, Genre učebnice textbooks Conspect 515.1 - Topologie 37.016 - Učební osnovy. Vyučovací předměty. Učebnice UDC 515.143 , (075) Country Spojené státy americké Language angličtina Document kind Books 
book
Call number Barcode Location Sublocation Info M1/3813 (PřF) 3134050369 PřF PřF, KMI – Bc. Kolovratníková In-Library Use Only
Number of the records: 1