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