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