@article{JDM_1976__78_146668,
     author = {G. Kreisel},
     title = {Wie die {Beweistheorie} zu ihren {Ordinalzahlen} kam und kommt.},
     journal = {Jahresbericht der Deutschen Mathematiker-Vereinigung},
     pages = {177--224},
     year = {1976},
     volume = {78},
     zbl = {0359.02024},
     url = {http://geodesic.mathdoc.fr/item/JDM_1976__78_146668/}
}