Условные термы и их приложения в алгебре и в теории вычислений

На основе понятия условного терма формализуется понятие программно вычислимой функции на универсальной алгебре. Это даёт некоторый новый подход к зучению традиционных алгебраических вопросов относительно как универсальных классов, так и отдельных конечных алгебр, а также возможность постановки и исследования вопроса о вычислительных возможностях универсальных алгебр.
Библиография: 66 названий.