|
Известия Академии наук СССР. Серия математическая, 1966, том 30, выпуск 3, страницы 523–524
(Mi im2849)
|
|
|
|
О формулах хорновского вида
А. Д. Тайманов
Аннотация:
Настоящая заметка является непосредственным продолжением работы [6]. Доказывается, что множество мультипликативно замкнутых высказываний, приводимых к хорновскому виду, не рекурсивно.
Поступило в редакцию: 24.12.1964
Образец цитирования:
А. Д. Тайманов, “О формулах хорновского вида”, Изв. АН СССР. Сер. матем., 30:3 (1966), 523–524
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/im2849 https://www.mathnet.ru/rus/im/v30/i3/p523
|
|