Theory of Formal Systems by Raymond M. Smullyan & Rm Smullyan