universal algebra

	Sponsored Links:
Computing Dictionary
	Definition:		The model theory of first-order equational logic.
	See Also:		logic