bn:03648131n
Noun Concept
IT
interpretazione di Herbrand
EN
In mathematical logic, a Herbrand interpretation is an interpretation in which all constants and function symbols are assigned very simple meanings. Wikipedia
Relations
Sources