Wie die Beweistheorie zu ihren Ordinalzahlen kam und kommt.
Kreisel, G.
Jahresbericht der Deutschen Mathematiker-Vereinigung, Tome 78 (1976), p. 177-224 / Harvested from Göttinger Digitalisierungszentrum
Access to full text
Publié le : 1976-01-01
EUDML-ID : urn:eudml:doc:146668 
@article{GDZPPN002137313,
     title = {Wie die Beweistheorie zu ihren Ordinalzahlen kam und kommt.},
     journal = {Jahresbericht der Deutschen Mathematiker-Vereinigung},
     volume = {78},
     year = {1976},
     pages = {177-224},
     zbl = {0359.02024},
     url = {http://dml.mathdoc.fr/item/GDZPPN002137313}
}

Kreisel, G. Wie die Beweistheorie zu ihren Ordinalzahlen kam und kommt.. Jahresbericht der Deutschen Mathematiker-Vereinigung, Tome 78 (1976) pp. 177-224. http://gdmltest.u-ga.fr/item/GDZPPN002137313/