Search Results - Gentzen, Gerhard 1909-1945

Gerhard Gentzen

Gerhard Gentzen in Prague, 1945. Gerhard Karl Erich Gentzen (24 November 1909 – 4 August 1945) was a German mathematician and logician. He made major contributions to the foundations of mathematics, proof theory, especially on natural deduction and sequent calculus. He died of starvation in a Czech prison camp in Prague in 1945. Provided by Wikipedia
  • Showing 1 – 11 results of 11
Filter by
  1. 1
    Cover Image

    The collected papers of Gerhard Gentzen
    by Gentzen, Gerhard 1909-1945

    Published 1969
    Book


    Saved in:
  2. 2
    Cover Image

    Die gegenwärtige Lage in der mathematischen Grundlagenforschung
    by Gentzen, Gerhard 1909-1945

    Published 1938
    Book


    Saved in:
  3. 3
    Cover Image

    Untersuchungen über das logische Schließen
    by Gentzen, Gerhard 1909-1945

    Published 1934
    Book


    Saved in:
  4. 4
    Cover Image

    Recherches sur la déduction logique: Trad. et comm. par Robert Feys et Jean Ladrière
    by Gentzen, Gerhard 1909-1945

    Published 1955
    Book


    Saved in:
  5. 5
    Cover Image

    Die gegenwärtige Lage in der mathematischen Grundlagenforschung
    by Gentzen, Gerhard 1909-1945, Gentzen, Gerhard

    Published 1969
    Book


    Saved in:
  6. 6
    Cover Image

    Die gegenwärtige Lage in der mathematischen Grundlagenforschung: neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie
    by Gentzen, Gerhard 1909-1945

    Published 1970
    Book


    Saved in:
  7. 7
    Cover Image

    Untersuchungen über das logische Schließen
    by Gentzen, Gerhard 1909-1945

    Published 1969
    Book


    Saved in:
  8. 8
    Cover Image

    Die Widerspruchsfreiheit der reinen Zahlentheorie
    by Gentzen, Gerhard 1909-1945

    Published 1967
    Book


    Saved in:
  9. 9
    Cover Image

    Untersuchungen über das logische Schließen
    by Gentzen, Gerhard 1909-1945

    Published 1974
    Book


    Saved in:
  10. 10
    Cover Image

    Die gegenwärtige Lage in der mathematischen Grundlagenforschung
    by Gentzen, Gerhard 1909-1945

    Published 1969
    Book


    Saved in:
  11. 11
    Cover Image

    Die Widerspruchsfreiheit der reinen Zahlentheorie
    by Gentzen, Gerhard 1909-1945

    Published 1967
    Book


    Saved in:

Search Tools: