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 - 2 results of 2 for search 'Gentzen, Gerhard, 1909-', query time: 0.01s Refine Results
  1. 1
    Recherches sur la déduction logique..
    by Gentzen, Gerhard, 1909-
    Published 1955
    Other Authors: “…Gentzen, Gerhard, 1909-…”
    Book
  2. 2
    The collected papers of Gerhard Gentzen
    by Gentzen, Gerhard
    Published 1969
    Other Authors:
    Biblioteca Universidad de Deusto (Other Sources: Biblioteca de la Universidad de Navarra)
    Book

Search Tools: