%0 Journal Article
%A G. Gentzen
%T Untersuchungen über das logische Schließen I
%J Mathematische Zeitschrift
%D 1935
%P 176-210
%V 39
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MZ_1935__39_168546/
%F MZ_1935__39_168546