"A Logical Approach to Discrete Math " - читать интересную книгу автора (David Gries, Fred. B. Schneider)