"Analytic Natural Deduction" - читать интересную книгу автора (Smullyan Raymond)