Diagonalization and Self-Reference by Raymond M. Smullyan (Oxford Logic Guides)

This book presents a systematic, unified treatment of fixed points as they occur in Gödel's incompleteness proofs, recursion theory, combinatory …