Diagonalization and self-reference. - Smullyan, Raymond M. (Clarendon Press, 1996)