|
Труды Математического института имени В. А. Стеклова, 1958, том 52, страницы 193–225
(Mi tm1318)
|
|
|
|
Новый алгорифм выводимости в конструктивном исчислении высказываний
Н. Н. Воробьев
Образец цитирования:
Н. Н. Воробьев, “Новый алгорифм выводимости в конструктивном исчислении высказываний”, Проблемы конструктивного направления в математике. 1, Сборник работ, Тр. МИАН СССР, 52, Изд-во АН СССР, М.–Л., 1958, 193–225
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/tm1318 https://www.mathnet.ru/rus/tm/v52/p193
|
Статистика просмотров: |
Страница аннотации: | 227 | PDF полного текста: | 199 | Первая страница: | 2 |
|