RUS  ENG
Полная версия
ЖУРНАЛЫ // Записки научных семинаров ПОМИ // Архив
Зап. научн. сем. ЛОМИ, 1972, том 32, страницы 59–65 (Mi znsl2565)
Эта публикация цитируется в 1 статье

О поиске вывода в исчислениях общего типа

С. Ю. Маслов



 Англоязычная версия: Journal of Soviet Mathematics, 1976, 6:4, 395–400

Реферативные базы данных:

© МИАН, 2024