Geodesic
La diversité des textes de démonstration
Publications de l'Institut de recherche mathématiques de Rennes, Produire et lire des textes de démonstration, no. S4 (1998), pp. 23-37

Voir la notice de l'acte provenant de la source Numdam

@article{PSMIR_1998___S4_23_0,
     author = {Houdebine, Jean},
     title = {La diversit\'e des textes de d\'emonstration},
     journal = {Publications de l'Institut de recherche math\'ematiques de Rennes},
     pages = {23--37},
     publisher = {D\'epartement de Math\'ematiques et Informatique, Universit\'e de Rennes},
     number = {S4},
     year = {1998},
     language = {fr},
     url = {http://geodesic.mathdoc.fr/item/PSMIR_1998___S4_23_0/}
}
TY  - JOUR
AU  - Houdebine, Jean
TI  - La diversité des textes de démonstration
JO  - Publications de l'Institut de recherche mathématiques de Rennes
PY  - 1998
SP  - 23
EP  - 37
IS  - S4
PB  - Département de Mathématiques et Informatique, Université de Rennes
UR  - http://geodesic.mathdoc.fr/item/PSMIR_1998___S4_23_0/
LA  - fr
ID  - PSMIR_1998___S4_23_0
ER  - 
%0 Journal Article
%A Houdebine, Jean
%T La diversité des textes de démonstration
%J Publications de l'Institut de recherche mathématiques de Rennes
%D 1998
%P 23-37
%N S4
%I Département de Mathématiques et Informatique, Université de Rennes
%U http://geodesic.mathdoc.fr/item/PSMIR_1998___S4_23_0/
%G fr
%F PSMIR_1998___S4_23_0
Houdebine, Jean. La diversité des textes de démonstration. Publications de l'Institut de recherche mathématiques de Rennes, Produire et lire des textes de démonstration, no. S4 (1998), pp. 23-37. http://geodesic.mathdoc.fr/item/PSMIR_1998___S4_23_0/