"Автоматический поиск натурального вывода в классической логике предикатов(Диссертация)" - читать интересную книгу автора (Шангин В.О.)