Počet záznamů: 1  

Homotopy type theory

  1. Údaje o názvuHomotopy 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.popisxiii, 605 stran
    Poznámky o skryté bibliografii a rejstřícíchObsahuje bibliografii a rejstřík
    Předmět.hesla teorie homotopií homotopy theory
    Forma, žánr učebnice textbooks
    Konspekt515.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
    SignaturaČár.kódLokaceDislokaceInfo
    M1/3813 (PřF)3134050369PřFPřF, KMI – Bc. Kolovratníkovápouze prezenčně

Počet záznamů: 1