Items related to Diagonalization and Self-Reference (Oxford Logic Guides)

Diagonalization and Self-Reference (Oxford Logic Guides) - Hardcover

Smullyan, Raymond M.

 
9780198534501: Diagonalization and Self-Reference (Oxford Logic Guides)

Synopsis

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.

"synopsis" may belong to another edition of this title.

About the Author

Raymond M. Smullyan is at Indiana University.

"About this title" may belong to another edition of this title.