In mathematical logic, for any formal language with a set of symbols (constants and functional symbols), the Herbrand universe recursively defines the set of all terms that can be composed by applying functional composition from the basic symbols.
It is named after Jacques Herbrand.
Links
Last updated: 10-13-2005 19:18:25
