Michael Detlefsen
Author detail
5 featured books
Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.
OL8143533A
Overview
Catalog identity and bibliographic footprint for this author.
5 representative editions
Catalog identity
How this author appears inside the active Bookitis catalog.
Display name
Source identifier
Featured books
Representative editions for works actually authored by this person.
- Image source: Open LibraryLF
Logic from A to Z
cover - IDIdeaux de PreuvesMichael Detlefsen
Ideaux de Preuves
no cover - PLProof, Logic and FormalizationMichael Detlefsen
Proof, Logic and Formalization
no cover - PAProof and Knowledge in MathematicsMichael Detlefsen
Proof and Knowledge in Mathematics
no cover - TCTextes Cles de Philosophie des...Michael Detlefsen
Textes Cles de Philosophie des Mathematiques : Vol. 1
no cover
Works in catalog
Quick navigation into the work-level grouping pages behind the featured books.