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