Herbrand functions (English, noun)
expansion: Herbrand functions
Senses:
glosses: plural of Herbrand function
tags: form-of
plural
Forms: