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