Recursion Theory Olg 22 C by Raymond M. Smullyan