4 works on record
Proof and Knowledge in Mathematics
Proof, Logic and Formalization
Textes Cles de Philosophie des Mathematiques : Vol. 1
Ideaux de Preuves