Browse
FAQ

Author

Michael Detlefsen

6 books found

Cover of Ideaux de Preuves

Ideaux de Preuves

Michael Detlefsen, Andrew Arana, Emmylou Haffner, David Rabouin · First published 2024

Cover of Textes Cles de Philosophie des Mathematiques : Vol. 1

Textes Cles de Philosophie des Mathematiques : Vol. 1

Paul Benacerraf, Michael Detlefsen, Harty Field, Richard G. Heck, Hilary Putnam · First published 2014

Cover of Proof and knowledge in mathematics

Proof and knowledge in mathematics

Michael Detlefsen · First published 1992

Cover of Logic from A to Z

Logic from A to Z

Michael Detlefsen · First published 1999

Cover of Proof, Logic and Formalization

Proof, Logic and Formalization

Michael Detlefsen · First published 1992

Cover of Hilbert's program

Hilbert's program

Michael Detlefsen · First published 1986