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