Oulie
Theory of Formal Systems by Raymond M. Smullyan — Oulie