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 for search 'Gentzen, Gerhard', query time: 0.04s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Die gegenwärtige Lage in der mathematischen Grundlagenforschung

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

    Published 1969
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    Recherches sur la déduction logique Trad. et comm. par Robert Feys et Jean Ladrière

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

    Published 1955
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    The collected papers of Gerhard Gentzen

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

    Published 1969
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    Untersuchungen über das logische Schließen

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

    Published 1974
    Book Interlibrary loan Place Request


    Saved in:
  5. 5
    Die gegenwärtige Lage in der mathematischen Grundlagenforschung neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie

    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 Interlibrary loan Place Request


    Saved in:
  6. 6
    Untersuchungen über das logische Schließen

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

    Published 1969
    Book Interlibrary loan Place Request


    Saved in:
  7. 7
    Die gegenwärtige Lage in der mathematischen Grundlagenforschung

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

    Published 1969
    Book Interlibrary loan Place Request


    Saved in:
  8. 8
    Die Widerspruchsfreiheit der reinen Zahlentheorie

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

    Published 1967
    Book Interlibrary loan Place Request


    Saved in:
  9. 9
    Die Widerspruchsfreiheit der reinen Zahlentheorie

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

    Published 1967
    Book Interlibrary loan Place Request


    Saved in:
  10. 10
    Die gegenwärtige Lage in der mathematischen Grundlagenforschung

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

    Published 1938
    Book Interlibrary loan Place Request


    Saved in:
  11. 11
    Untersuchungen über das logische Schließen

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

    Published 1934
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: