Computability and noncomputability in classical analysis (1983)

by Marian B Pour-El and J Ian Richards
Venue:Transactions of the American Mathematical Society