Gerhard Gentzen
Results: 3
# | Item |
---|---|
1![]() | An Abstract Completion Procedure for Cut Elimination in Deduction Modulo LICS 2006 Guillaume Burel + Claude Kirchner ´ LORIA × (EcoleAdd to Reading ListSource URL: www.ensiie.frLanguage: English - Date: 2015-01-06 05:29:08 |
2![]() | Mathematics at Göttingen under the NazisAdd to Reading ListSource URL: www.ams.orgLanguage: English - Date: 1999-03-08 15:14:26 |
3![]() | PDF DocumentAdd to Reading ListSource URL: www.icm2006.orgLanguage: English - Date: 2013-10-02 08:04:05 |