First Page | Document Content | |
---|---|---|
Date: 1999-03-08 15:14:26European people Paul Bernays Oswald Teichmüller Emmy Noether David Hilbert Helmut Hasse Emil Artin Gerhard Gentzen Hermann Weyl Mathematics Number theorists Academia | Mathematics at Göttingen under the NazisAdd to Reading ListSource URL: www.ams.orgDownload Document from Source WebsiteFile Size: 132,86 KBShare Document on Facebook |
An Abstract Completion Procedure for Cut Elimination in Deduction Modulo LICS 2006 Guillaume Burel + Claude Kirchner ´ LORIA × (EcoleDocID: 1aVQH - View Document | |
Mathematics at Göttingen under the NazisDocID: 1YBa - View Document | |
PDF DocumentDocID: 1beS - View Document |