|
|
|
|
| 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
|
Nantilus
