Herbrand and Skolem theorems in infinitary languages.
Series: Preprint series. Mathematics. 1972: no. 3
Publisher: Universitetet i Oslo, Matematisk institutt
Published: 1972
Place of publication: Oslo
Language: eng
Number of pages: 11
Subjects: Infinitary languages.
Notes: Includes bibliographical references.