@article{1183732153,
author = {Davis, Martin},
title = {Review: John Myhill, Criteria of Constructibility for Real Numbers},
journal = {J. Symbolic Logic},
volume = {20},
number = {1},
year = {1955},
language = {en},
url = {http://dml.mathdoc.fr/item/1183732153}
}
Davis, Martin. Review: John Myhill, Criteria of Constructibility for Real Numbers. J. Symbolic Logic, Tome 20 (1955) no. 1, . http://gdmltest.u-ga.fr/item/1183732153/