Gerhard Gentzen

#	Item
1	An Abstract Completion Procedure for Cut Elimination in Deduction Modulo LICS 2006 Guillaume Burel + Claude Kirchner ´ LORIA × (Ecole Add to Reading List Source URL: www.ensiie.fr Language: English - Date: 2015-01-06 05:29:08 Mathematics Cut-elimination theorem Sequent calculus Sequent Gerhard Gentzen Natural deduction Proof theory Mathematical logic Logic
2	Mathematics at Göttingen under the Nazis Add to Reading List Source URL: www.ams.org Language: English - Date: 1999-03-08 15:14:26 European people Paul Bernays Oswald Teichmüller Emmy Noether David Hilbert Helmut Hasse Emil Artin Gerhard Gentzen Hermann Weyl Mathematics Number theorists Academia
3	PDF Document Add to Reading List Source URL: www.icm2006.org Language: English - Date: 2013-10-02 08:04:05 Logic Ordinal numbers Ordinal analysis Gerhard Gentzen Cut-elimination theorem Natural deduction Limit ordinal Sequent calculus Constructible universe Mathematical logic Mathematics Proof theory