1. Modelltheoretische Untersuchungen in der Kripke-Semantik

   • Horst Osswald

   OriginalPaper Pages: 3 - 21

2. Metamathematische Begriffe in Standardtheorien

   • Giorgio Germano

   OriginalPaper Pages: 22 - 38

3. Hierarchies of number-theoretic functions. I

   • M. H. Löb
   • S. S. Wainer

   OriginalPaper Pages: 39 - 51

4. The unique existential quantifier

   • H. B. Enderton

   OriginalPaper Pages: 52 - 54

5. Ein Henkin-Vollständigkeitsbeweis für die intuitionistische Prädikatelogik bezüglich der Kripke-Semantik

   • Horst Luckhardt

   OriginalPaper Pages: 55 - 59

6. Über die mit Stackautomaten berechenbaren Funktionen

   • Horst Müller

   OriginalPaper Pages: 60 - 73

7. Ein Bezeichnungssystem für Ordinalzahlen

   • Helmut Pfeiffer

   OriginalPaper Pages: 74 - 90

8. Substitution algebras in their relation to cylindric algebras

   • Anne Preller

   OriginalPaper Pages: 91 - 96