Séminaire N. Bourbaki volume 2013-2014 / Thierry Coquand ; Thomas C. Hales ; Jacques Smulevici ; Valette, Alain

Public ISBD Titre : Séminaire N. Bourbaki volume 2013-2014 : exposés 1085 à 1088 Type de document : texte imprimé Auteurs : Thierry Coquand ; Thomas C. Hales ; Jacques Smulevici ; Valette, Alain, Auteur Editeur : Paris : ENS Année de publication : 2014 Importance : pag. mult. Langues : Anglais Mots-clés : bourbaki  seminaire Index. décimale : SEMINAIRE Séminaire N. Bourbaki volume 2013-2014 : exposés 1085 à 1088 [texte imprimé] / Thierry Coquand ; Thomas C. Hales ; Jacques Smulevici ; Valette, Alain, Auteur . - Paris : ENS, 2014 . - pag. mult. Langues : Anglais Mots-clés : bourbaki  seminaire Index. décimale : SEMINAIRE

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
21508	SEMINAIRE	imprimé / autre	CRDM	SEMINAIRES	Disponible

---

page 1/1