1. Dialogspiele als Semantische Grundlage von Logikkalkülen

   • Kuno Lorenz

   OriginalPaper Pages: 73 - 100

2. Quasideduktive Systeme und S-Algebren. II

   • J. Bammert

   OriginalPaper Pages: 101 - 112

3. Semi-effective numberings and definitions of the computable numbers

   • B. H. Mayoh

   OriginalPaper Pages: 113 - 125

4. Ein konstruktives system von Ordinalzahlen

   • Kurt Schütte

   OriginalPaper Pages: 126 - 137