1. A universal two-way automaton

   • D. L. Kreider
   • R. W. Ritchie

   OriginalPaper Pages: 49 - 58

2. Eine Anmerkung zu Gödels Komprehensionstheorem

   • Eduard Wette

   OriginalPaper Pages: 59 - 60

3. Anzahlquantoren in der Kleene-Hierarchie

   • Dieter Rödding

   OriginalPaper Pages: 61 - 65

4. Anzahlquantoren in der Prädikatenlogik

   • Dieter Rödding

   OriginalPaper Pages: 66 - 69

5. Protologische Untersuchungen I: Ein Allgemeiner Rahmen für Naturgemässe Deduktion

   • H. Arnold Schmidt

   OriginalPaper Pages: 70 - 94

6. Non-uniqueness at ω² in Kleene'sO

   • John N. Crossley
   • Kurt Schütte

   OriginalPaper Pages: 95 - 101

7. Freges Begründung der Analysis

   • Franz v. Kutschera

   OriginalPaper Pages: 102 - 111

8. Constructive order types, III

   • P. H. G. Aczel
   • John N. Crossley

   OriginalPaper Pages: 112 - 116