%0 Journal Article
%A B. SCARPELLINI
%T Some Applications of Gentzens Second Consistency Proof.
%J Mathematische Annalen
%D 1969
%P 325-344
%V 181
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAN_1969__181_161842/
%F MAN_1969__181_161842