Marcel CONDAMINE,
"Langage, Logique, Démonstrations"   Aguer 1996

Imre LAKATOS
"Preuves et Réfutations" Hermann 1984

J. Briand et M.-C. Chevalier
"Les enjeux didactiques dans l'enseignement des mathématiques, " Hatier, 1995
 

pour mieux cerner la place de ce domaine dans le monde mathématique :

Jean JULO
"Représentation des problèmes et réussite en mathématiques"  P.U.R. 1995

 Stella BARUK
"Dictionnaire de mathématiques élémentaires" Seuil 1992
"L'âge du capitaine" Seuil, 1985

Sylviane GASQUET
"l'illusion mathématique "  Syros, 1997
 

 pour aller plus loin ... et se faire plaisir :

Douglas Hofstadter
"Gödel Escher Bach"   InterÉdition 1985

Martin GARDNER
"«Haha» ou l'éclair de la compréhension mathématique" Pour la science 1992