Michael Detlefsenの本 - BookPine

Idéaux de preuves: Œuvres choisies

Idéaux de preuves: Œuvres choisies

Michael Detlefsen

Proof, Logic and Formalization

Proof, Logic and Formalization

Michael Detlefsen

Proof and Knowledge in Mathematics

Proof and Knowledge in Mathematics

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

Sébastien Gandon

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

John B. Bacon

Hilbert's Program: An Essay on Mathematical Instrumentalism

Hilbert's Program: An Essay on Mathematical Instrumentalism

Michael Detlefsen

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

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

Michael Detlefsen

Gödel's Theorem in Focus

Gödel's Theorem in Focus

Stuart G. Shanker