If you have information about this name, share it in the comments area below!
Books about Gentzen:
Gentzen's Centenary: The Quest for Consistency by Reinhard Kahle and Michael Rathjen (Feb 14, 2015)
Logic's Lost Genius (History of Mathematics) by Eckart Menzler-Trott (Nov 21, 2007)
Where is the Gödel-point hiding: Gentzen's Consistency Proof of 1936 and His Representation of Constructive Ordinals... by Anna Horská (Nov 30, 2013)
Gentzen Calculi for Modal Propositional Logic (Trends in Logic) by Francesca Poggiolesi (Jan 25, 2013)
The collected papers of Gerhard Gentzen (Studies in logic and the foundations of mathematics) by Gerhard Gentzen (1969)
Gentzens Problem: Mathematische Logik im nationalsozialistischen Deutschland (German Edition) by Eckart Menzler-Trott and J.v. Plato (Nov 5, 2012)
MODERN LOGIC: SINCE GÖDEL: GENTZEN: An entry from Gale's Encyclopedia of Philosophy by Bede Rundle (2006)
Wiki information Gentzen:
Gerhard Karl Erich Gentzen 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 in 1945 after the Second World War, because...
Wilf Gentzen born in Melbourne is an Australian professional light welter/welterweight boxer of the 1980s and '90s who won the Victoria State welterweight title, Australian welterweight title, Commonwealth welterweight title, and was a challenger for...