@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/