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

EuDML 
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/
@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},
     year = {1998},
     publisher = {D\'epartement de Math\'ematiques et Informatique, Universit\'e de Rennes},
     number = {S4},
     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