"Theory of Formal Systems. (AM-47) (Annals of Mathematics Studies)" - читать интересную книгу автора (Raymond M. Smullyan)