Michael Detlefsen
Identifiers
- Open LibraryOL8143533A
Top Subjects
- Logic, symbolic and mathematical (3)
- Mathematics, philosophy (2)
- Proof theory (1)
Books by Michael Detlefsen
Total count: 5
-
Proof, Logic and FormalizationRoutledge1992-01-01
-
Proof and Knowledge in MathematicsTaylor & Francis Group2005-01-01
-
Logic from a to ZThe Routledge Encyclopedia of Philosophy Glossary of Logical and Mathematical TermsTaylor & Francis Group2013-01-01
-
Textes Cles de Philosophie des Mathematiques : Vol. 1Ontologie, Verite et FondementsVrin, Librairie Philosophique J.2014-01-01
-
Ideaux de PreuvesOEuvres ChoisiesVrin, Librairie Philosophique J.2024-01-01