Title: An Herebrand [i.e. Herbrand] theorem for higher order logic
Subjects: Predicate calculus