"How to Prove It: A Structured Approach" - читать интересную книгу автора (Velleman D. J.)