| 425 | -- | 476 | Mark van Atten, Juliette Kennedy. On the philosophical development of Kurt Gödel |
| 477 | -- | 503 | Kosta Dosen. Identity of proofs based on normalization and generality |
| 3 | -- | 25 | György Serény. Gödel, Tarski, Church, and the Liar |
| 26 | -- | 36 | Bjørn Kjos-Hanssen. Local initial segments of the Turing degrees |