Michael Detlefsen

  1. home
  2. Author
  3. Michael Detlefsen
Michael Detlefsen

9 Published BooksMichael Detlefsen

Popular Books by Michael Detlefsen

Gödel's Theorem in Focus
Gödel's Theorem in Focus
View More

Gödel's Theorem in Focus

By: Stuart G. Shanker
Proof, Logic and Formalization
Proof, Logic and Formalization
View More

Proof, Logic and Formalization

By: Michael Detlefsen
Logic from A to Z: The Routledge Encyclopedia of Philosophy Glossary of Logical and Mathematical Terms
Logic from A to Z: The Routledge Encyclopedia of Philosophy Glossary of Logical and Mathematical Terms
View More

Logic from A to Z: The Routledge Encyclopedia of Philosophy Glossary of Logical and Mathematical Terms

By: John B. Bacon
Proof and Knowledge in Mathematics
Proof and Knowledge in Mathematics
View More

Proof and Knowledge in Mathematics

By: Michael Detlefsen
Hilbert’s Program: An Essay on Mathematical Instrumentalism (Synthese Library Book 182)
Hilbert’s Program: An Essay on Mathematical Instrumentalism (Synthese Library Book 182)
View More

Hilbert’s Program: An Essay on Mathematical Instrumentalism (Synthese Library Book 182)

By: Michael Detlefsen
Glossário da Logica
Glossário da Logica
View More

Glossário da Logica

By: Michael Detlefsen
NOTE DAME JOURNAL OF FORMAL LOGIC. VOL 36, NO. 2. 1995
NOTE DAME JOURNAL OF FORMAL LOGIC. VOL 36, NO. 2. 1995
View More

NOTE DAME JOURNAL OF FORMAL LOGIC. VOL 36, NO. 2. 1995

By: Michael Detlefsen
Ideaux de Preuves: Oeuvres Choisies
Ideaux de Preuves: Oeuvres Choisies
View More

Ideaux de Preuves: Oeuvres Choisies

By: Michael Detlefsen
Textes clés de philosophie des mathématiques: Vol. 1: Ontologie, vérité et fondements
Textes clés de philosophie des mathématiques: Vol. 1: Ontologie, vérité et fondements
View More

Textes clés de philosophie des mathématiques: Vol. 1: Ontologie, vérité et fondements

By: Sébastien Gandon