Ebook: Diagonalization and Self-Reference

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.