A hidden Herbrand theorem: Combining the object and logic paradigms
scientific article; zbMATH DE number 1868263
scientific article