Ebook Info
- Published: 1994
- Number of pages: 416 pages
- Format: PDF
- File Size: 4.05 MB
- Authors: Raymond M. Smullyan
Description
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.
User’s Reviews
Editorial Reviews: Review “The book is devoted to a rather difficult topic; its style, however, makes most of its parts digestible, sometimes even enjoyable.” — Mathematical Reviews”Smullyan goes right to the essence of Godel’s argument and its subsequent extensions. He thereby achieves a simplicity that will reach out to the general reader even as it will delight the expert.” –Choice”Exhibit[s] the hallmarks of Smullyan’s style. . .Accessible to beginners, yet present[s] material of interest to specialists.”–Modern Logic”A highly original approach.”–Journal of Symbolic Logic About the Author Raymond M. Smullyan is at Indiana University.
Keywords
Free Download Diagonalization and Self-Reference (Oxford Logic Guides, 27) in PDF format
Diagonalization and Self-Reference (Oxford Logic Guides, 27) PDF Free Download
Download Diagonalization and Self-Reference (Oxford Logic Guides, 27) 1994 PDF Free
Diagonalization and Self-Reference (Oxford Logic Guides, 27) 1994 PDF Free Download
Download Diagonalization and Self-Reference (Oxford Logic Guides, 27) PDF
Free Download Ebook Diagonalization and Self-Reference (Oxford Logic Guides, 27)