%0 Journal Article %A Gerhard Gentzen %T Zusammenfassung von mehreren vollständigen Induktionen zu einer einzigen. %J Archiv für mathematische Logik und Grundlagenforschung %D 1954 %P 1-3 %V 2 %I mathdoc %U http://geodesic.mathdoc.fr/item/AMLG_1954__2_137718/ %F AMLG_1954__2_137718