HERBRAND AND SKOLEM THEOREMS IN INFINITARY LANGUAGES

Jervell, Herman Ruge
Research report
View/Open
Year
1972
Permanent link
http://urn.nb.no/URN:NBN:no-48506

Is part of
Preprint series: Pure mathematics
Metadata
Show metadata
Appears in the following Collection
Abstract
No abstract.