%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://archive.numdam.org/item/PSMIR_1998___S4_23_0/
%G fr
%F PSMIR_1998___S4_23_0