Geodesic
On non-constructive theorems of analysis and the decision problem
Mathematica Scandinavica, Tome 3 (1955), pp. 261-263.

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

Mots-clés : philosophy and foundations of mathematics 
@article{MS2_1955__3_165594,
     author = {R. L. GOODSTEIN},
     title = {On non-constructive theorems of analysis and the decision problem},
     journal = {Mathematica Scandinavica},
     pages = {261--263},
     publisher = {mathdoc},
     volume = {3},
     year = {1955},
     zbl = {0067.24804},
     url = {http://geodesic.mathdoc.fr/item/MS2_1955__3_165594/}
}
TY  - JOUR
AU  - R. L. GOODSTEIN
TI  - On non-constructive theorems of analysis and the decision problem
JO  - Mathematica Scandinavica
PY  - 1955
SP  - 261
EP  - 263
VL  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MS2_1955__3_165594/
ID  - MS2_1955__3_165594
ER  - 
%0 Journal Article
%A R. L. GOODSTEIN
%T On non-constructive theorems of analysis and the decision problem
%J Mathematica Scandinavica
%D 1955
%P 261-263
%V 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MS2_1955__3_165594/
%F MS2_1955__3_165594
R. L. GOODSTEIN. On non-constructive theorems of analysis and the decision problem. Mathematica Scandinavica, Tome 3 (1955), pp. 261-263. http://geodesic.mathdoc.fr/item/MS2_1955__3_165594/