Michael Detlefsen

Michael Detlefsen

3 ספרים במאגר

ספרים

Proof and Knowledge in MathematicsMichael Detlefsen

Proof and Knowledge in Mathematics

Michael Detlefsen · 2014

Proof, Logic and FormalizationMichael Detlefsen

Proof, Logic and Formalization

Michael Detlefsen · 2005

Ideaux de PreuvesMichael Detlefsen

Ideaux de Preuves

Michael Detlefsen · 2024

ספרים משותפים ואוספים

ספרים שבהם Michael Detlefsen מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Textes Cles de Philosophie des Mathematiques : Vol. 1Paul Benacerraf

Textes Cles de Philosophie des Mathematiques : Vol. 1

Paul Benacerraf · 2014