"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
From the Publisher:
The main purpose of this book is to present a unified treatment of fixed points as they occur in Gödel'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 first chapters are of an introductory nature and consist mainly of exercises with solutions given to most of them.
"Sobre este título" puede pertenecer a otra edición de este libro.
Descripción Oxford University Press, 1994. Hardcover. Estado de conservación: New. book. Nº de ref. de la librería 0198534507
Descripción Oxford Univ Pr on Demand, 1994. Hardcover. Estado de conservación: Brand New. illustrated edition. 416 pages. 9.50x6.25x1.00 inches. In Stock. Nº de ref. de la librería 0198534507
Descripción Clarendon Press, 1994. Hardcover. Estado de conservación: New. Nº de ref. de la librería P110198534507