RUS
ENG
Полная версия
ЖУРНАЛЫ
// Записки научных семинаров ПОМИ
// Архив
Зап. научн. сем. ЛОМИ,
1967
,
том 4,
страницы
96–111
(Mi znsl2213)
Обратимый секвенциальный вариант конструктивного исчисления предикатов
С. Ю. Маслов
Полный текст:
PDF файл (597 kB)
Реферативные базы данных:
©
МИАН
, 2024