[go: up one dir, main page]
It looks like you're offline.
Donate
English (en) Change Website Language
Open Library logo
additional options menu
Last edited anonymously
August 19, 2008 | History
Edit

Michael Detlefsen

We need a photo of Michael Detlefsen

Born 1948

4 works Add another?

Showing all works by author. Would you like to see only ebooks?

  • Cover of: Hilbert's program: an essay on mathematical instrumentalism

    First published in 1986 — 1 edition
    Borrow Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Proof, logic, and formalization

    First published in 1992 — 1 edition
    Locate

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Logic from A to Z

    First published in 1999 — 1 edition
    Preview Only

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Proof and knowledge in mathematics

    First published in 1992 — 1 edition
    Locate

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
We need a photo of Michael Detlefsen

Born 1948

Subjects

Mathematics, Logic, Logic, symbolic and mathematical, Philosophy, Symbolic and mathematical Logic, Bewijstheorie, Infinity, Logik, Logique symbolique et mathématique, Mathématiques, Philosophie, Preuve, Théorie de la, Proof theory, Théorie de la preuve, Aufsatzsammlung, Beweis, Beweistheorie, Dictionaries, Encyclopedias, Formele logica, Kennistheorie, MATHEMATICS, Mathematics, philosophy, Mathematik, Mathematische Logik

People

David Hilbert (1862-1943)

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL1189148A

Links outside Open Library

No links yet. Add one?

History

Download catalog record: RDF / JSON
August 19, 2008 Edited by an anonymous user fix author name
April 1, 2008 Created by an anonymous user initial import