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 - 5 results of 5 for search 'Gentzen, Gerhard', query time: 0.02s Refine Results
  1. 1
    The collected papers of Gerhard Gentzen
    by Gentzen, Gerhard
    Published 1969
    Other Authors: “…Gentzen, Gerhard…”
    Biblioteca Universidad de Deusto (Other Sources: Biblioteca de la Universidad de Navarra)
    Book
  2. 2
    Die gegenwärtige Lage in der mathematischen Grundlagenforschung ; Neue Fassung des Widerspruchsfreiheitsbewieses für die reine Zahlentheorie
    by Gentzen, Gerhard
    Published 1969
    Other Authors: “…Gentzen, Gerhard…”
    Book
  3. 3
    Die Widerspruchsfreiheit der reinen Zahlentheorie
    by Gentzen, Gerhard
    Published 1967
    Other Authors: “…Gentzen, Gerhard…”
    Book
  4. 4
    Recherches sur la déduction logique = (Untersuchungen über das logische Schliessen)
    by Gentzen, Gerhard
    Published 1955
    Other Authors: “…Gentzen, Gerhard…”
    Book
  5. 5
    Recherches sur la déduction logique..
    by Gentzen, Gerhard, 1909-
    Published 1955
    Other Authors: “…Gentzen, Gerhard, 1909-…”
    Book

Search Tools: