1. Der erste Widerspruchsfreiheitsbeweis für die klassische Zahlentheorie

   • Gerhard Gentzen

   OriginalPaper Pages: 97 - 118

2. Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik

   • Gerhard Gentzen

   OriginalPaper Pages: 119 - 132

3. On some properties a projective model class passes on to the generated axiomatic class

   • Manfred Armbrust
   • Klaus Kaiser

   OriginalPaper Pages: 133 - 136

4. Completeness of cut-free type theories

   • Mitsuru Yasuhara

   OriginalPaper Pages: 137 - 141

5. On necessary but not-sufficient conditions

   • Hidehisa Sakai

   OriginalPaper Pages: 143 - 146

6. Disjunctive properties of intuitionistic systems

   • B. Scarpellini

   OriginalPaper Pages: 147 - 158

7. Arithmetische Prädikate über einem Bereich endlicher Automaten

   • Th. Ottmann

   OriginalPaper Pages: 159 - 176

8. On 2nd order intuitionistic propositional calculus with full comprehension

   • Dov M. Gabbay

   OriginalPaper Pages: 177 - 186

9. An extension of the Kreisel-Putnam system

   • N. Georgieva

   OriginalPaper Pages: 187 - 189