> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Homotopy type theory : univalent foundations of mathematics Beteiligte: Institute for Advanced Study Princeton, NJ Erschienen: Princeton, NJ: Lulu Press, 2013 Umfang: XIII, 589 S.; graph, Darst Sprache: Englisch RVK-Notation: SK 300 : Algebraische Topologie Schlagwörter: Rationale Homotopietheorie Entstehung: Anmerkungen:
Zentralbibliothek Signatur: SK 300 U58 Barcode: 33194053 Status: Verfügbarkeit bitte in Prof Algebra diskrete Strukturen erfragen.