А. В. Михалёв Элементарная и близкие к ней логические эквивалентности классических и универсальных алгебр Подробнее
