|
Skolem functions and constructive models
Yu. L. Ershov
Received: 26.11.1973
Citation:
Yu. L. Ershov, “Skolem functions and constructive models”, Algebra Logika, 12:6 (1973), 644–654
Linking options:
https://www.mathnet.ru/eng/al1403 https://www.mathnet.ru/eng/al/v12/i6/p644
|
Statistics & downloads: |
Abstract page: | 80 | Full-text PDF : | 25 |
|