"Логика предикатов" - читать интересную книгу автора (Дехтярь М.И. )