Počet záznamů: 1
Homotopy type theory
Údaje o názvu Homotopy type theory : univalent foundations of mathematics / The Univalent Foundations Program, Institute for Advanced Study Záhlaví-korpor. Institute for advanced study (Princeton, N. J.). Univalent Foundations of Mathematics (autor) Nakladatel [Princeton] : The Univalent Foundations Program, [2013] Copyright ©2013 Fyz.popis xiii, 605 stran Poznámky o skryté bibliografii a rejstřících Obsahuje bibliografii a rejstřík Předmět.hesla teorie homotopií homotopy theory Forma, žánr učebnice textbooks Konspekt 515.1 - Topologie 37.016 - Učební osnovy. Vyučovací předměty. Učebnice MDT 515.143 , (075) Země vyd. Spojené státy americké Jazyk dok. angličtina Druh dok. Knihy kniha
Signatura Čár.kód Lokace Dislokace Info M1/3813 (PřF) 3134050369 PřF PřF, KMI – Bc. Kolovratníková pouze prezenčně
Počet záznamů: 1