On non-constructive theorems of analysis and the decision problem
GOODSTEIN, R. L.
Mathematica Scandinavica, Tome 3 (1955), p. 261-263 / Harvested from Göttinger Digitalisierungszentrum
Publié le : 1955-01-01
EUDML-ID : urn:eudml:doc:165594
@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/