
Элементарная и близкие к ней логические эквивалентности классических и универсальных алгебр
В монографии рассматриваются вопросы классификации классических и универсальных алгебр в тех или иных естественных языках математической логики. С подробными доказательствами излагаются классические результаты:...
Условные термы и их применение в алгебре и теории вычислений
В монографии, на основе введенного понятия условного терма, изучается строение условных многообразий (универсальных классов универсальных алгебр, в том числе и отдельных конечных алгебр). Описываемое отношение...
