| 367 - 376 - | Introduction LETHEN, Tim | abstract details |
| 377 - 396 - | What is Gödel's Resultate Grundlagen? HÄMEEN-ANTTILA, Maria, VON PLATO, Jan | abstract details |
| 397 - 437 - | The Remarkable Set Theory in Gödel's 1940-2 Resultate Grundlagen KANAMORI, Akihiro | abstract details |
| 439 - 465 - | Intuitionistic and Modal Logic in Gödel's Resultate Grundlagen NEGRI, Sara, VON PLATO, Jan | abstract details |
| 467 - 479 - | Proof Analysis of Two Gödelian Sequent Calculi VON PLATO, Jan | abstract details |
