1. On Kalmar's consistency proof and a generalization of the notion of ω-consistency

   • George S. Boolos

   OriginalPaper Pages: 3 - 7

2. Zur Theorie Der Spektralen Darstellung Von Prädikaten Durch Ausdrücke Der Prädikatenlogik 1. Stufe

   • Michael Deutsch

   OriginalPaper Pages: 9 - 16

3. A type-open minimal model

   • Leo Marcus

   OriginalPaper Pages: 17 - 24

4. Combinatorial systems defined over one- and two-letter alphabets

   • Charles E. Hughes
   • W. E. Singletary

   OriginalPaper Pages: 25 - 33

5. A characterization ofR-maximal sets

   • Donald A. Alton

   OriginalPaper Pages: 35 - 36

6. Embedding relations in the lattice of recursively enumerable sets

   • Donald A. Alton

   OriginalPaper Pages: 37 - 41

7. A note on undecidable extensions of monadic second order successor arithmetic

   • Wolfgang Thomas

   OriginalPaper Pages: 43 - 44

8. Ein Vollständigkeitsbeweis Für Die Aussagenlogischen ModalitätensystemeM, S 4,Br UndS 5

   • J. Czermak

   OriginalPaper Pages: 45 - 49

9. On the decidability ofp′, p″ andP″

   • N. Georgieva

   OriginalPaper Pages: 51 - 53

10. Ein Ausgezeichnetes Modell Für Die Intuitionistische Typenlogik

    • Wilfried Buchholz

    OriginalPaper Pages: 55 - 60

11. Über Hilbert's Reale Und Ideale Elemente

    • Horst Luckhardt

    OriginalPaper Pages: 61 - 70

12. The recursive sets in certain monadic second order fragments of arithmetic

    • Dirk Siefkes

    OriginalPaper Pages: 71 - 80