Text this: Recursion theory for metamathematics / Raymond M. Smullyan.