|
|
|
|
LEADER |
01604nam a2200433 4500 |
001 |
PPN276795121 |
003 |
http://www.sudoc.fr/276795121 |
005 |
20240404055700.0 |
035 |
|
|
|a (OCoLC)1428570743
|
100 |
|
|
|a 20240403h20132013k y0frey0103 ba
|
101 |
0 |
|
|a eng
|2 639-2
|
102 |
|
|
|a US
|
105 |
|
|
|a y a 001yy
|
106 |
|
|
|a r
|
181 |
|
|
|6 z01
|c txt
|2 rdacontent
|
181 |
|
1 |
|6 z01
|a i#
|b xxxe##
|
182 |
|
|
|6 z01
|c n
|2 rdamedia
|
182 |
|
1 |
|6 z01
|a n
|
183 |
|
|
|6 z01
|a nga
|2 RDAfrCarrier
|
200 |
1 |
|
|a Homotopy type theory
|e Univalent Foundations of Mathematics
|f The Univalent Foundations Program, Institute for Advanced Study
|
214 |
|
0 |
|a [Princeton (N.J.)]
|c The Univalent Foundations Program, Institute for Advanced Study
|
214 |
|
4 |
|d C 2013
|
215 |
|
|
|a 1 vol. (xiii ; 583 p.)
|d 20 cm
|
300 |
|
|
|a Le livre est disponible gratuitement à l'adresse
|u http://homotopytypetheory.org/book/
|
320 |
|
|
|a Bibliogr. p. [545]-555. Index
|
606 |
|
|
|3 PPN027330419
|a Homotopie
|2 rameau
|
606 |
|
|
|3 PPN077076583
|a Équivalences d'homotopie
|2 rameau
|
606 |
|
|
|3 PPN027234797
|a Induction (mathématiques)
|2 rameau
|
606 |
|
|
|3 PPN027662799
|a Logique mathématique
|2 rameau
|
606 |
|
|
|3 PPN034147411
|a Théorie des types
|2 rameau
|
686 |
|
|
|a 03-02
|c 2010
|2 msc
|
686 |
|
|
|a 55-02
|c 2010
|2 msc
|
686 |
|
|
|a 03B15
|c 2010
|2 msc
|
710 |
0 |
2 |
|3 PPN175655049
|a The Univalent foundations program
|4 070
|
711 |
0 |
2 |
|3 PPN032355874
|a Institute for advanced study
|c Princeton, N.J.
|4 070
|
801 |
|
3 |
|a FR
|b Abes
|c 20240403
|g AFNOR
|
930 |
|
|
|5 441092208:816954909
|b 441092208
|j u
|
979 |
|
|
|a CCFA
|
998 |
|
|
|a 965316
|