1. Notation systems for infinitary derivations

   • Wilfried Buchholz

   OriginalPaper Pages: 277 - 296

2. Between constructive mathematics and PROLOG

   • Gerhard Jäger

   OriginalPaper Pages: 297 - 310

3. Proof theory and ordinal analysis

   • W. Pohlers

   OriginalPaper Pages: 311 - 376

4. Proof-theoretic analysis of KPM

   • Michael Rathjen

   OriginalPaper Pages: 377 - 403

5. An upper bound for reduction sequences in the typed λ-calculus

   • Helmut Schwichtenberg

   OriginalPaper Pages: 405 - 408

6. Herbrand analyses

   • Wilfried Sieg

   OriginalPaper Pages: 409 - 441