ENGLISH

Diagonalization and Self-Reference

By Raymond M. Smullyan

Book information

Publisher
Clarendon Press
Year
1994
ISBN
0198534507, 9780198534501
LCC
QA9.6 .S67 1994
Language
english
Format
PDF
Filesize
4 MB (4284419 bytes)
Series
Oxford Logic Guides 27
Pages
415\415
Topic
Mathematics Logic
Time added
2011-06-04 13:46:07

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.

Similar books