Smullyan R. Diagonalization and Self-Reference

Oxford University Press, USA, 1994. - 416 p.This book presents a systematic, unified treatment of fixed points as they occur in G del's incompleteness proofs, recursion theory, combinatory logic, semantics, and metamathematics. Packed with instructive problems and solutions, the book offers an excellent introduction to the subject and highlights recent research.