An Herebrand [i.e. Herbrand] theorem for higher order logic
By: [by H. R. Jervell.
Series: Preprint series. Mathematics, 24
Publisher: Universitetet i Oslo, Matematisk institutt
Published: 1971
Place of publication: Oslo
Language: eng
Number of pages: 29
Subjects: Predicate calculus.
Other titles: Herebrand theorem for higher order logic; Herbrand theorem for higher order logic.
Notes: Bibliography: leaf 29.
Title from p. [4] of cover.