books

Books about Gentzen:

booksGentzen's Centenary: The Quest for Consistency by Reinhard Kahle and Michael Rathjen (Feb 14, 2015)

booksLogic's Lost Genius (History of Mathematics) by Eckart Menzler-Trott (Nov 21, 2007)

booksWhere is the Gödel-point hiding: Gentzen's Consistency Proof of 1936 and His Representation of Constructive Ordinals... by Anna Horská (Nov 30, 2013)

booksGentzen Calculi for Modal Propositional Logic (Trends in Logic) by Francesca Poggiolesi (Jan 25, 2013)

booksThe collected papers of Gerhard Gentzen (Studies in logic and the foundations of mathematics) by Gerhard Gentzen (1969)

booksGentzens Problem: Mathematische Logik im nationalsozialistischen Deutschland (German Edition) by Eckart Menzler-Trott and J.v. Plato (Nov 5, 2012)

booksMODERN LOGIC: SINCE GÖDEL: GENTZEN: An entry from Gale's Encyclopedia of Philosophy by Bede Rundle (2006)

wiki

Wiki information Gentzen:

Gerhard Gentzen
Mathematician, Person, Deceased Person, Author

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
Athlete, Measured person, Person

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...