Text this: Recursion theory / Joseph R. Shoenfield.