On Skolem and Herbrand theorems for intuitionistic logic.
Series: Preprint series. Mathematics, 1972: no. 4
Publisher: Universitetet i Oslo, Matematisk institutt
Published: 1972
Place of publication: Oslo
Language: eng
Number of pages: 23
Subjects: Predicate calculus.; Intuitionistic mathematics.
Notes: Bibliography: leaf 23.