Geodesic
Wie die Beweistheorie zu ihren Ordinalzahlen kam und kommt.
Jahresbericht der Deutschen Mathematiker-Vereinigung, Tome 78 (1976), pp. 177-224.

Voir la notice de l'article provenant de la source European Digital Mathematics Library

@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},
     publisher = {mathdoc},
     volume = {78},
     year = {1976},
     zbl = {0359.02024},
     url = {http://geodesic.mathdoc.fr/item/JDM_1976__78_146668/}
}
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  - 
%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
G. Kreisel. Wie die Beweistheorie zu ihren Ordinalzahlen kam und kommt.. Jahresbericht der Deutschen Mathematiker-Vereinigung, Tome 78 (1976), pp. 177-224. http://geodesic.mathdoc.fr/item/JDM_1976__78_146668/