%0 Journal Article
%A Peter Zahn
%T Eine Verallgemeinerung des Hauptsatzes von Gentzen.
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1969
%P 134-150
%V 12
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AMLG_1969__12_137825/
%F AMLG_1969__12_137825