bn:01865123n
Noun Named Entity
AR
No term available
EN
Herbrand's theorem is a fundamental result of mathematical logic obtained by Jacques Herbrand. Wikipedia
Relations
Sources