Books by Raymond M. Smullyan

This book serves both as a completely self-contained introduction and as an exposition of new results in the field of recursive function theory and its application to formal systems.

This book contains 50 elegant, witty chess problems concerned with deducing events in a game's past. Holmes instructs Watson in the intricacies of retrograde analysis, leading to increasingly difficult self-contained mysteries.

Invites reader to explore some beautiful and some horrible ideas related to religious and mystical thought. This book focuses on the doctrine of Hell and its justification, presenting arguments on both sides of the controversy.