Title: A new proof of the classical Herbrand and Skolem theorem
Subjects: Proof theory