Diagonalization and Self-Reference

BL An introduction to the topic - pitched at an elementary level

This Oxford Logic Guide presents a unified treatment of fixed points, self-reference, and diagonalization as they occur in Gdel's incompleteness proofs, recursion theory, combinatory logics, semantics, and metamathematics. There is also a presentation of new results - partly in these areas, but mostly in their synthesis.