Michael Detlefsen

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