Изв. АН СССР. Сер. матем.,
1968, том 32, выпуск 4, страницы 880–883
(Mi im2496)
|
Эта публикация цитируется в
1 статье
Три последовательности формул с двумя переменными в позитивной
пропозициональной логике
В. А. Янков
Аннотация:
Рассмотрены вопросы позитивного исчисления.
УДК:
51.0116
MSC: 11Bxx,
03B05,
03B20,
06Dxx Поступило в редакцию: 04.07.1967
© , 2024
Полный текст:
PDF файл (356 kB)