TY  - JOUR
AU  - G. Kreisel
TI  - Wie die Beweistheorie zu ihren Ordinalzahlen kam und kommt.
JO  - Jahresbericht der Deutschen Mathematiker-Vereinigung
PY  - 1976
SP  - 177
EP  - 224
VL  - 78
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/JDM_1976__78_146668/
ID  - JDM_1976__78_146668
ER  -