"Handbook of practical logic and automated reasoning" - читать интересную книгу автора (John Harrison)