Recursion theory for metamathematics - Smullyan, Raymond M. (Oxford logic guides, 1993)