The main purpose of this book is to present a unified treatment of fixed points as they occur in Godel's incompleteness proofs, recursion theory, combinatory logic, semantics, and metamathematics. The book provides a survey of introductory material and a summary of recent research. The first chapters are of an introductory nature and consist mainly of exercises with solutions given to most of them.
Buy Diagonalization and Self-reference book by Raymond M. Smullyan from Australia's Online Independent Bookstore, Boomerang Books.
(242mm x 158mm x 26mm)
Publisher: Oxford University Press
Country of Publication: