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