Your search - Gentzen, ... - did not match any resources.

Gerhard Gentzen

Gentzen in 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