@dblp

Some Undecidable Problems Involving Elementary Functions of a Real Variable.

. J. Symb. Log., 33 (4): 514-520 (1968)

Links and resources

Tags