1. L'axiome de la paire dans le système de Zermelo

   • Maurice Boffa

   OriginalPaper Pages: 97 - 98

2. Dialogkalküle

   • P. Lorenzen

   OriginalPaper Pages: 99 - 102

3. Zur konstruktiven Deutung der semantischen Vollständigkeit klassischer Quantoren- und Modalkalküle

   • P. Lorenzen

   OriginalPaper Pages: 103 - 117

4. Unterstruktur-invariante Formeln in der intuitionistischen Logik

   • Horst Osswald

   OriginalPaper Pages: 118 - 128

5. Beweistheoretische Charakterisierung einer Erweiterung der Grzegorczyk-Hierarchie

   • Helmut Schwichtenberg

   OriginalPaper Pages: 129 - 145

6. Ein algebraischer Beweis für das Church-Rosser-Theorem

   • Gerd Mitschke

   OriginalPaper Pages: 146 - 157

7. A calculus for finitely satisfiable formulas with identity

   • Arthur M. Bullock
   • Hubert H. Schneider

   OriginalPaper Pages: 158 - 163

8. Hanf numbers and well-ordering numbers

   • Jörg Flum

   OriginalPaper Pages: 164 - 178

9. Some categories of models

   • Robert Fittler

   OriginalPaper Pages: 179 - 189