RUS  ENG
Полная версия
ЖУРНАЛЫ // Труды Математического института имени В. А. Стеклова // Архив
Тр. МИАН СССР, 1964, том 72, страницы 348–379 (Mi tm1615)
Конструктивная математическая логика

К вопросу о конструктивном понимании опорных формул. 1

Н. А. Шанин




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

© МИАН, 2024