Exemplaires: Homotopy type theory

Enregistré dans:

Détails bibliographiques
Auteur principal :	The Univalent foundations program (Auteur)
Collectivité auteur :	Institute for advanced study Princeton, N.J. (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 :	Homotopie Équivalences d'homotopie Induction (mathématiques) Logique mathématique Théorie des types

Le livre est disponible gratuitement à l'adresse

Informations d'exemplaires de Bib. CRDM (Mathématiques)
‌	Cote	Prêt	Statut
Bibliothèque	03C219	Prêt sans prolongation	Disponible