@article{GDZPPN002344076, title = {On non-constructive theorems of analysis and the decision problem}, journal = {Mathematica Scandinavica}, volume = {3}, year = {1955}, pages = {261-263}, zbl = {0067.24804}, url = {http://dml.mathdoc.fr/item/GDZPPN002344076} }
GOODSTEIN, R. L. On non-constructive theorems of analysis and the decision problem. Mathematica Scandinavica, Tome 3 (1955) pp. 261-263. http://gdmltest.u-ga.fr/item/GDZPPN002344076/