@article{1183736339,
author = {Nerode, A.},
title = {Review: P. Lorenzen, J. Myhill, Constructive Definition of Certain Analytic Sets of Numbers},
journal = {J. Symbolic Logic},
volume = {33},
number = {1},
year = {1968},
language = {en},
url = {http://dml.mathdoc.fr/item/1183736339}
}
Nerode, A. Review: P. Lorenzen, J. Myhill, Constructive Definition of Certain Analytic Sets of Numbers. J. Symbolic Logic, Tome 33 (1968) no. 1, . http://gdmltest.u-ga.fr/item/1183736339/