|
Известия Академии наук СССР. Серия математическая, 1968, том 32, выпуск 4, страницы 880–883
(Mi im2496)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Три последовательности формул с двумя переменными в позитивной
пропозициональной логике
В. А. Янков
Аннотация:
Рассмотрены вопросы позитивного исчисления.
Поступило в редакцию: 04.07.1967
Образец цитирования:
В. А. Янков, “Три последовательности формул с двумя переменными в позитивной
пропозициональной логике”, Изв. АН СССР. Сер. матем., 32:4 (1968), 880–883; Math. USSR-Izv., 2:4 (1968), 845–848
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/im2496 https://www.mathnet.ru/rus/im/v32/i4/p880
|
Статистика просмотров: |
Страница аннотации: | 368 | PDF русской версии: | 98 | PDF английской версии: | 20 | Список литературы: | 41 | Первая страница: | 1 |
|