Recursion theory for metemathematics - Smullyan, Raymond M. (Oxford Logic Guides, 1993)