Homotopy type theory

Public ISBD Titre : Homotopy type theory : Univalent foundations of mathematics Type de document : texte imprimé Editeur : Lulu Press Année de publication : 2013 Importance : ix - 468 p. Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 55-XX Algebraic topology:55-02 Research exposition (monographs, survey articles) Mots-clés : mathematical logic Index. décimale : 03B Publication collective Homotopy type theory : Univalent foundations of mathematics [texte imprimé] . - [S.l.] : Lulu Press, 2013 . - ix - 468 p. Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 55-XX Algebraic topology:55-02 Research exposition (monographs, survey articles) Mots-clés : mathematical logic Index. décimale : 03B Publication collective

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
30110	LAREMA/HOM	imprimé / autre	Fédération FR 2962 - Angers	Angers Ouvrages	Disponible

---

page 1/1