1. Further applications of ultra-conservative ω-rules

   • E. G. K. López-Escobar

   OriginalPaper Pages: 89 - 102

2. Existential interpretation. II

   • Yuri Gurevich

   OriginalPaper Pages: 103 - 120

3. Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen

   • Gerhard Jäger

   OriginalPaper Pages: 121 - 139

4. On orderings of the family of all logics

   • Michał Krynicki
   • Jouko Väänänen

   OriginalPaper Pages: 141 - 158

5. Ein Vollständigkeitsbeweis Für Schnittfreie Kalküle Mit Der Maximalisierungsmethode Von Henkin

   • Jürgen-Michael Glubrecht

   OriginalPaper Pages: 159 - 166