RUS  ENG
Полная версия
ЖУРНАЛЫ // Труды Математического института имени В. А. Стеклова // Архив
Тр. МИАН СССР, 1964, том 72, страницы 228–343 (Mi tm1613)
Эта публикация цитируется в 1 статье

Конструктивная математическая логика

Исчисления конструктивной логики с подчиненными переменными

А. В. Идельсон




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

© МИАН, 2024