Computability in Analysis and (1989)

by M B Pour-El, J I Richards
Venue:17 P. Odifreddi, Classical Recursion Theory