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. $310.49, new condition, Sold by GridFreed rated 4.0 out of 5 stars, ships from North Las Vegas, NV, UNITED STATES, published 1994 by Clarendon Press.
Add this copy of Diagonalization and Self-Reference to cart. $363.17, like new condition, Sold by GreatBookPrices rated 4.0 out of 5 stars, ships from Columbia, MD, UNITED STATES, published 1994 by Clarendon Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Fine. Sewn binding. Cloth over boards. 416 p. Contains: Illustrations. Oxford Logic Guides, 27. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.