universal algebra

from The Free On-line Dictionary of Computing (8 July 2008)
Universal algebra

   <logic> The {model theory} of {first-order} {equational
   logic}.

   (1997-02-25)
    

grant@antiflux.org