bn:01865123n
Noun Named Entity
EL
θεώρημα του herbrand
EN
Herbrand's theorem is a fundamental result of mathematical logic obtained by Jacques Herbrand. Wikipedia
Relations
Sources