Das Vereinfachungsproblem für aussagenlogische normalformen Heinrich Behmann OriginalPaper Pages: 65 - 89
On the universal completeness of classes of relational systems Hugo Ribeiro OriginalPaper Pages: 90 - 95
Ein Typenfreies System der Logik mit Ausreichender Mathematischer Anwendungsfähigkeit II Wilhelm Ackermann OriginalPaper Pages: 96 - 111
Ein Formales System der Klassischen Aussagenlogik mit Einer Einzigen Grundverknüpfung Kurt Schütte OriginalPaper Pages: 113 - 118
Representability of recursively enumerable sets in formal theories J. C. Shepherdson OriginalPaper Pages: 119 - 127