%0 Journal Article
%A Herbert Fiedler
%T Zur Stufenreduktion von Kalkülen.
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1965
%P 63-103
%V 8
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AMLG_1965__8_137782/
%F AMLG_1965__8_137782