RUS
ENG
Full version
JOURNALS
// Algebra i logika
// Archive
Algebra Logika,
1981
Volume 20,
Number 4,
Pages
427–439
(Mi al1737)
Expressibility in the elementary theory of recursively enumerable sets with realizability logic
R. K. Prank
UDC:
510.54
Received: 09.04.1980
Fulltext:
PDF file (4309 kB)
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2024