Open WIKI
Home
Sources
About
Contacts
⯈
☰
Herbrand base
Herbrand base
is a
mathematical concept
.