Some undecidable problems involving elementary functions of a real variable (1968)

by D Richardson
Venue:J. Symbolic Logic