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