@article{GDZPPN002281287,
title = {Beweisbarkeit und Unbeweisbarkeit von Anfangsf\"allen der transfiniten Induktion in der reinen Zahlentheorie},
journal = {Mathematische Annalen},
volume = {119},
year = {1943},
pages = {140-161},
zbl = {0028.10201},
url = {http://dml.mathdoc.fr/item/GDZPPN002281287}
}
Gentzen, G. Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie. Mathematische Annalen, Tome 119 (1943) pp. 140-161. http://gdmltest.u-ga.fr/item/GDZPPN002281287/