Geodesic
Beweistheoretische Erfassung der unendlichen Induktion in der Zahlentheorie.
Mathematische Annalen, Tome 122 (1950), pp. 369-389.

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

Mots-clés : philosophy and foundations of mathematics 
@article{MAN_1950__122_160227,
     author = {Kurt Sch\"utte},
     title = {Beweistheoretische {Erfassung} der unendlichen {Induktion} in der {Zahlentheorie.}},
     journal = {Mathematische Annalen},
     pages = {369--389},
     publisher = {mathdoc},
     volume = {122},
     year = {1950},
     zbl = {0042.00803},
     url = {http://geodesic.mathdoc.fr/item/MAN_1950__122_160227/}
}
TY  - JOUR
AU  - Kurt Schütte
TI  - Beweistheoretische Erfassung der unendlichen Induktion in der Zahlentheorie.
JO  - Mathematische Annalen
PY  - 1950
SP  - 369
EP  - 389
VL  - 122
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MAN_1950__122_160227/
ID  - MAN_1950__122_160227
ER  - 
%0 Journal Article
%A Kurt Schütte
%T Beweistheoretische Erfassung der unendlichen Induktion in der Zahlentheorie.
%J Mathematische Annalen
%D 1950
%P 369-389
%V 122
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAN_1950__122_160227/
%F MAN_1950__122_160227
Kurt Schütte. Beweistheoretische Erfassung der unendlichen Induktion in der Zahlentheorie.. Mathematische Annalen, Tome 122 (1950), pp. 369-389. http://geodesic.mathdoc.fr/item/MAN_1950__122_160227/