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 to cart. $411.48, new condition, Sold by Booksplease rated 4.0 out of 5 stars, ships from Southport, MERSEYSIDE, UNITED KINGDOM, published 1994 by Clarendon Press.
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.
