"Logic in computer science: modelling and reasoning about systems" - читать интересную книгу автора (Michael Huth, Mark Ryan, M. Huth, M. Ryan)