RUS
ENG
Полная версия
ЖУРНАЛЫ
// Известия Российской академии наук. Серия математическая
// Архив
Изв. АН СССР. Сер. матем.,
1966
, том 30,
выпуск 3,
страницы
523–524
(Mi im2849)
О формулах хорновского вида
А. Д. Тайманов
Аннотация:
Настоящая заметка является непосредственным продолжением работы [6]. Доказывается, что множество мультипликативно замкнутых высказываний, приводимых к хорновскому виду, не рекурсивно.
УДК:
51.01
Поступило в редакцию:
24.12.1964
Полный текст:
PDF файл (171 kB)
Реферативные базы данных:
©
МИАН
, 2025