Recursion theory for metamathematics - Smullyan, Raymond M. (Oxford University Press, 1993)