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