Book

Theory of Formal Systems

by Raymond M. Smullyan