%0 Journal Article
%A Gr. Gentzen
%T Die Widerspruchsfreiheit der Stufenlogik
%J Mathematische Zeitschrift
%D 1936
%P 357-366
%V 41
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MZ_1936__41_168669/
%F MZ_1936__41_168669