universal algebra
universal algebra
in Technology
logic
The
model theory
of
first-order
equational logic
.
(1997-02-25)