Theory of Formal Systems. (AM-47) (Annals of Mathematics Studies)
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.
More by Raymond M. Smullyan
To Mock a Mocking Bird and Other Logic Puzzles
What Is the Name of This Book?
This Book Needs No Title
Satan, Cantor & Infinity
The Lady or the Tiger? And Other Logic Puzzles
The riddle of Scheherazade and other amazing puzzles, ancient & modern
The Tao Is Silent
Beginner's Guide to Mathematical Logic
The chess mysteries of Sherlock Holmes
First-order Logic
Gödelian Puzzle Book
5000 B.C. And Other Philosophical Fantasies