Tell a friend about this book...
Friend's Email:
Subject: I have found a book that I think you would enjoy
|
|
Diagonalization and Self-Reference - Oxford Logic Guides Author: 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 first chapters are of an introductory nature and consist ma... more »
|