登入
選單
返回
Google圖書搜尋
Diagonalization and Self-reference
Raymond M. Smullyan
出版
Clarendon Press
, 1994
ISBN
0198534507
9780198534501
URL
http://books.google.com.hk/books?id=uH53QgAACAAJ&hl=&source=gbs_api
註釋
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. The book provides a survey of introductory material and a summary of recent research. The firstchapters are of an introductory nature and consist mainly of exercises with solutions given to most of them.
