bn:01865123n
Noun Named Entity
IT
teorema di Herbrand
EN
Herbrand's theorem is a fundamental result of mathematical logic obtained by Jacques Herbrand. Wikipedia
Relations
Sources
Wikidata
Wikipedia Translations