Diagonalization and Self-Reference by Raymond Smullyan & Raymond M. Smullyan