Michael DetlefsenBooksProof, Logic and FormalizationIdeaux de PreuvesProof and Knowledge in MathematicsTextes Cles de Philosophie des Mathematiques : Vol. 1Author data: Open Library