"Logic in computer science - Errata" - читать интересную книгу автора (Huth M., Ryan M.)