"Handbook of Practical Logic and Automated Reasoning" - читать интересную книгу автора (John Harrison)