The undecidability of the existence of zeros of real elementary functions (1974)

by Paul S Wang
Venue:Department of Mathematics University of South Carolina Columbia