Homotopy type theory : Univalent Foundations of Mathematics
Enregistré dans:
Auteur principal : | |
---|---|
Collectivité auteur : | |
Format : | Livre |
Langue : | anglais |
Titre complet : | Homotopy type theory : Univalent Foundations of Mathematics / The Univalent Foundations Program, Institute for Advanced Study |
Publié : |
[Princeton (N.J.)] :
The Univalent Foundations Program, Institute for Advanced Study
, C 2013 |
Description matérielle : | 1 vol. (xiii ; 583 p.) |
Accès en ligne : |
Le livre est disponible gratuitement à l'adresse
|
Sujets : |
Internet
Le livre est disponible gratuitement à l'adresseBib. CRDM (Mathématiques)
| Cote | Prêt | Statut |
---|---|---|---|
Bibliothèque | 03C219 | Prêt sans prolongation | Disponible |