# Universal algebra

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

< Previous Terms |
Terms Containing Universal algebra |
Next Terms > |

United Technologies Research Cente Unit Separator unit testing UNITY Univac |
equational logic |
Universal Asynchronous Receiver/Transmitter Universal Character Set Universal Communications X Universal Debugger Universal Description, Discovery, and Integration |