Der erste Widerspruchsfreiheitsbeweis für die klassische Zahlentheorie Gerhard Gentzen OriginalPaper Pages: 97 - 118
Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik Gerhard Gentzen OriginalPaper Pages: 119 - 132
On some properties a projective model class passes on to the generated axiomatic class Manfred ArmbrustKlaus Kaiser OriginalPaper Pages: 133 - 136
Arithmetische Prädikate über einem Bereich endlicher Automaten Th. Ottmann OriginalPaper Pages: 159 - 176
On 2nd order intuitionistic propositional calculus with full comprehension Dov M. Gabbay OriginalPaper Pages: 177 - 186