Universal algebra

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



Nearby terms:
unit testing « UNITY « Univac « Universal algebra » Universal Asynchronous Receiver/Transmitter » Universal Character Set » Universal Communications X