RUS  ENG
Полная версия
ЖУРНАЛЫ // Известия Российской академии наук. Серия математическая // Архив
Изв. АН СССР. Сер. матем., 1966, том 30, выпуск 3, страницы 523–524 (Mi im2849)
О формулах хорновского вида

А. Д. Тайманов


Аннотация: Настоящая заметка является непосредственным продолжением работы [6]. Доказывается, что множество мультипликативно замкнутых высказываний, приводимых к хорновскому виду, не рекурсивно.

УДК: 51.01

Поступило в редакцию: 24.12.1964



Реферативные базы данных:

© МИАН, 2024