Some Undecidable Problems Involving Elementary Functions of a Real Variable (1968)

by D Richardson
Venue:J. Symbolic Logic