It looks like you're offline.
Donate
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?

Sorting by Sorted by: Most Editions | First Published | Most Recent | Top Rated | Reading Log | Random

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 in 1 language — 1 previewable
    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: Logic from A to Z

    First published in 1999 1 edition in 1 language — 1 previewable
    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 in 1 language — 1 previewable
    Not in Library

    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 in 1 language — 1 previewable
    Not in Library

    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
Logic, Logic, symbolic and mathematical, Mathematics, Philosophy, Bewijstheorie, Infinity, Logik, Logique symbolique et mathématique, MATHEMATICS, Mathématiques, Philosophie, Preuve, Théorie de la, Proof theory, Symbolic and mathematical Logic, Théorie de la preuve, Aufsatzsammlung, Beweis, Beweistheorie, Dictionaries, Formele logica, Kennistheorie, Mathematics, philosophy, Mathematik, Mathematische Logik, PHILOSOPHY
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