|
$\Sigma$-predicates of finite types over an admissible set
Yu. L. Ershov
Received: 04.06.1985
Citation:
Yu. L. Ershov, “$\Sigma$-predicates of finite types over an admissible set”, Algebra Logika, 24:5 (1985), 499–536
Linking options:
https://www.mathnet.ru/eng/al1916 https://www.mathnet.ru/eng/al/v24/i5/p499
|
Statistics & downloads: |
Abstract page: | 82 | Full-text PDF : | 30 |
|