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