Die Vollständigkeit des Operatorensystems {¬, ∨, ⊃} für die Intuitionistische Aussagenlogik im Rahmen der Gentzensematik Franz v. Kutschera OriginalPaper Pages: 3 - 16
Eine Art von Gleichwertigkeit Zahlentheoretischer und Mengentheoretischer Axiomensysteme Walburga Rödding OriginalPaper Pages: 17 - 31
Die Vollständigkeit der Verzweigten Typenlogik mit Unendlicher Terminduktion M. H. Löb OriginalPaper Pages: 68 - 72