эквациональная логика

Мат. equational logic