Diagonalization and self-reference

New York: Clarendon Press (1994)
  Copy   BIBTEX


This book presents a systematic, unified treatment of fixed points as they occur in Godels 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.



    Upload a copy of this work     Papers currently archived: 89,330

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library


Added to PP

49 (#282,996)

6 months
13 (#115,353)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Semantics and Truth.Jan Woleński - 2019 - Cham, Switzerland: Springer Verlag.
Combinatory logic.Katalin Bimbó - 2009 - Stanford Encyclopedia of Philosophy.

View all 7 citations / Add more citations

References found in this work

No references found.

Add more references