"Хорновы классы предикатных систем и многообразия частичных алгебр" - читать интересную книгу автора (Горбунов В.А., Шеремет М.С.)