Michael Detlefsen

No bio available. Add one in Open Library.

Books by Michael Detlefsen (50 max)

+ shelf+ list

Proof, Logic and Formalization

1992

Michael Detlefsen

+ shelf+ list

Proof and Knowledge in Mathematics

2005

Michael Detlefsen

+ shelf+ list

Textes Cles de Philosophie des Mathematiques : Vol. 1 Ontologie, Verite et Fondements

2014

Paul Benacerraf, Michael Detlefsen, Harty Field, Richard G. Heck, Hilary Putnam

+ shelf+ list

Ideaux de Preuves: OEuvres Choisies

2024

Michael Detlefsen, Andrew Arana, Emmylou Haffner, David Rabouin