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