Title: On Skolem and Herbrand theorems for intuitionistic logic
Subjects: Intuitionistic mathematics, Predicate calculus