%0 Journal Article %A G. Kreisel %T Wie die Beweistheorie zu ihren Ordinalzahlen kam und kommt. %J Jahresbericht der Deutschen Mathematiker-Vereinigung %D 1976 %P 177-224 %V 78 %I mathdoc %U http://geodesic.mathdoc.fr/item/JDM_1976__78_146668/ %F JDM_1976__78_146668