Universal algebra

математика абстрактная алгебра

Англо-русский научно-технический словарь

Universal algebra

The model theory of first-order equational logic.

Free Online Dictionary of Computing