bn:01514851n
Noun Concept
NL
herbrand universum  term algebra
EN
In universal algebra and mathematical logic, a term algebra is a freely generated algebraic structure over a given signature. Wikipedia
Relations
Sources