@article{1183736504,
author = {Richardson, Daniel},
title = {Some Undecidable Problems Involving Elementary Functions of a Real Variable},
journal = {J. Symbolic Logic},
volume = {33},
number = {1},
year = {1968},
pages = { 514-520},
language = {en},
url = {http://dml.mathdoc.fr/item/1183736504}
}
Richardson, Daniel. Some Undecidable Problems Involving Elementary Functions of a Real Variable. J. Symbolic Logic, Tome 33 (1968) no. 1, pp. 514-520. http://gdmltest.u-ga.fr/item/1183736504/