1993 Statut et fonctions de la démonstration en mathématiques : quelques repères. Auteur : Guichard Jacqueline
2001 Produire et lire des textes de démonstration. Auteurs : Barbin Evelyne. Dir. ; Duval Raymond. Dir. ; Giorgiutti Italo. Dir. ; Houdebine Jean. Dir. ; Laborde Colette. Dir. ; Commission inter-IREM Epistémologie et histoire des Mathématiques. Ed.
2001 Produire et lire des textes de démonstration. Ecriture et compréhension : pourquoi faire écrire des textes de démonstration par les élèves ? p. 183-206. Auteur : Duval Raymond
1994 Dimension logique de l’activité mathématique au collège et au lycée. Auteurs : Blanc Georges ; Beniamino Jean-Claude ; Martini Bernard ; Notebaert Serge
