RUS
ENG
Полная версия
ПЕРСОНАЛИИ
Пранк Р К
Публикации в базе данных Math-Net.Ru
Выразимость в элементарной теории рекурсивно-перечислимых множеств с логикой реализуемости
Алгебра и логика
,
20
:4 (1981),
427–439
©
МИАН
, 2024