The main purpose of this book is to present a unified treatment of fixed points as they occur in Gödel'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.
- ISBN10 0198534507
- ISBN13 9780198534501
- Publish Date 1 September 1994
- Publish Status Active
- Publish Country GB
- Publisher Oxford University Press
- Imprint Clarendon Press
- Format Hardcover
- Pages 412
- Language English