|
Труды Математического института имени В. А. Стеклова, 1964, том 72, страницы 228–343
(Mi tm1613)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Конструктивная математическая логика
Исчисления конструктивной логики с подчиненными переменными
А. В. Идельсон
Образец цитирования:
А. В. Идельсон, “Исчисления конструктивной логики с подчиненными переменными”, Проблемы конструктивного направления в математике. 3, Сборник работ. Посвящается Андрею Андреевичу Маркову к его шестидесятилетию, Тр. МИАН СССР, 72, Наука, М.–Л., 1964, 228–343
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/tm1613 https://www.mathnet.ru/rus/tm/v72/p228
|
Статистика просмотров: |
Страница аннотации: | 142 | PDF полного текста: | 165 | Первая страница: | 1 |
|