TY  - JOUR
AU  - Gerhard Gentzen
TI  - Zusammenfassung von mehreren vollständigen Induktionen zu einer einzigen.
JO  - Archiv für mathematische Logik und Grundlagenforschung
PY  - 1954
SP  - 1
EP  - 3
VL  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AMLG_1954__2_137718/
ID  - AMLG_1954__2_137718
ER  -