<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2013-10-02 08:04:05Logic Ordinal numbers Ordinal analysis Gerhard Gentzen Cut-elimination theorem Natural deduction Limit ordinal Sequent calculus Constructible universe Mathematical logic Mathematics Proof theory |
| 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 |