Recursion theory [proceedings of the AMS-ASL Summer Institute on Recursion Theory held at Cornell University, Ithaca, New York, June 28 - July 16, 1982] (American Mathematical Society, 1985)