Universal algebra

(logic)   The model theory of first-order equational logic.

Last updated: 1997-02-25


Loading