Book

Diagonalization and self-reference

by Raymond M. Smullyan