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

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

Self-reference, although a topic studied by some philosophers and known to a number of other disciplines, has received comparatively little explicit attention.

More than two hundred new and challenging logic puzzles—the simplest brainteaser to the most complex paradoxes in contemporary mathematical thinking—from ou

This work is a sequel to the author's G�del's Incompleteness Theorems, though it can be read independently by anyone familiar with G�del's incompleten