1. Ein Konstruktives System von Ordinalzahlen. II

   • Kurt Schütte

   OriginalPaper Pages: 3 - 11

2. Ein Bezeichnungssystem für Ordinalzahlen

   • Helmut Pfeiffer

   OriginalPaper Pages: 12 - 17

3. Kodifikation und Aussagenlogik

   • Horst Luckhardt

   OriginalPaper Pages: 18 - 38

4. Über Eine Prädikatenlogik mit Partiell Definierten Prädikaten und Funktionen

   • Heinz-Dieter Ebbinghaus

   OriginalPaper Pages: 39 - 53

5. Primitiv-Rekursive Funktionen auf Termmengen

   • Friedrich-Karl Mahn

   OriginalPaper Pages: 54 - 65

6. Über die Homogenisierbarkeit von Rechenprogrammen

   • Klemens Döpp

   OriginalPaper Pages: 66 - 71

7. Theophrastische Modallogik

   • Paul Lorenzen

   OriginalPaper Pages: 72 - 75

8. A note onk-axiomatizations of identity

   • Joan Rand Moschovakis

   OriginalPaper Pages: 76 - 77

9. Open formulas and the empty domain

   • H. Leblanc
   • R. K. Meyer

   OriginalPaper Pages: 78 - 84

10. Rekursionszahlen und die Grzegorczyk-Hierarchie

    • Helmut Schwichtenberg

    OriginalPaper Pages: 85 - 97