HERBRAND AND SKOLEM THEOREMS IN INFINITARY LANGUAGES
Research report
View/
Year
1972Permanent link
http://urn.nb.no/Is part of
Preprint series: Pure mathematicsMetadata
Show metadataAppears in the following Collection
- Matematisk institutt [2222]