"Logic for computer science: foundations of automatic theorem proving" - читать интересную книгу автора (Jean H. Gallier)