@article{1183733468,
author = {Lorenzen, P. and Myhill, J.},
title = {Constructive Definition of Certain Analytic Sets of Numbers},
journal = {J. Symbolic Logic},
volume = {24},
number = {1},
year = {1959},
pages = { 37-49},
language = {en},
url = {http://dml.mathdoc.fr/item/1183733468}
}
Lorenzen, P.; Myhill, J. Constructive Definition of Certain Analytic Sets of Numbers. J. Symbolic Logic, Tome 24 (1959) no. 1, pp. 37-49. http://gdmltest.u-ga.fr/item/1183733468/