RUS
ENG
Full version
PEOPLE
Prank Rein K
Publications in Math-Net.Ru
Expressibility in the elementary theory of recursively enumerable sets with realizability logic
Algebra Logika
,
20
:4 (1981),
427–439
©
Steklov Math. Inst. of RAS
, 2024