The main purpose of this book is to present a unified treatment of fixed points as they occur in Goedel'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.
Read More
The main purpose of this book is to present a unified treatment of fixed points as they occur in Goedel'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.
Read Less
Add this copy of Diagonalization and Self-Reference (Oxford Logic Guides to cart. $439.72, new condition, Sold by Just one more Chapter rated 3.0 out of 5 stars, ships from Miramar, FL, UNITED STATES, published 1994 by Clarendon Press.
