A new proof of the classical Herbrand and Skolem theorem
By: by H. R. Jervell.
Series: Preprint series. Mathematics,; 21
Publisher: Universitetet i Oslo, Matematisk institutt
Published: 1971
Place of publication: [Oslo
Language: eng
Number of pages: 35
Subjects: Proof theory.
Other titles: Herbrand and Skolem theorem.
Notes: Bibliography: leaf [36].