Diagonalization and self-reference - Smullyan, Raymond M. (Oxford Logic Guides, 1994)