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.
Read More
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.
Read Less
Add this copy of Diagonalization and Self-Reference (Oxford Logic Guides to cart. $243.19, fair condition, Sold by Wonder Book - Member ABAA/ILAB rated 5.0 out of 5 stars, ships from Frederick, MD, UNITED STATES, published 1994 by Clarendon Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Acceptable. Acceptable condition. Former Library book. A readable, intact copy that may have noticeable tears and wear to the spine. All pages of text are present, but they may include extensive notes and highlighting or be heavily stained. Includes reading copy only books.
Add this copy of Diagonalization and Self-Reference to cart. $420.31, new condition, Sold by Booksplease rated 4.0 out of 5 stars, ships from Southport, MERSEYSIDE, UNITED KINGDOM, published 1994 by Clarendon Press.
