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.