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 lo

In this book, Paulo Guilherme Santos studies diagonalization in formal mathematics from logical aspects to everyday mathematics. He starts with a study of the d

This book collects, for the first time in one volume, contributions honoring Professor Raymond Smullyan’s work on self-reference. It serves not only as a trib

Publisher description