Gilt das Lemma von König "konstruktiv"? Peter Zahn — 1985 Archiv für mathematische Logik und Grundlagenforschung
Eine Verallgemeinerung des Hauptsatzes von Gentzen. Peter Zahn — 1969 Archiv für mathematische Logik und Grundlagenforschung