<logic> The model theory of first-order equational logic.
(1997-02-25)
Try this search on Wikipedia, OneLook, Google
Nearby terms: unit testing « UNITY « Univac « Universal algebra » Universal Asynchronous Receiver/Transmitter » Universal Character Set » Universal Communications X
