Recursion Theory by Joseph R. Shoenfield