TY  - JOUR
AU  - G. Gentzen
TI  - Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie
JO  - Mathematische Annalen
PY  - 1943
SP  - 140
EP  - 161
VL  - 119
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MAN_1943__119_160122/
ID  - MAN_1943__119_160122
ER  -