Diagonalization and Self-reference

Front Cover
Clarendon Press, 1994 - Mathematics - 396 pages
0 Reviews
The main purpose of this book is to present a unified treatment of fixed points as they occur in Godel's incompleteness proofs, recursion theory, combinatory logic, semantics and metamathematics. It 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. The book should be of interest to researchers and graduate students in mathematical logic.

What people are saying - Write a review

We haven't found any reviews in the usual places.

About the author (1994)

Raymond M. Smullyan is at Indiana University.

Bibliographic information