|
$\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: | 104 | Full-text PDF : | 40 | References: | 2 |
|