Diagonalization and self-reference /
Smullyan, Raymond M.
Oxford : Clarendon Press,
1994.