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