"Logic in Computer Science: Modelling and Reasoning about Systems - Errata" - читать интересную книгу автора (Huth M., Ryan M.)