RUS  ENG
Полная версия
ЖУРНАЛЫ // Сибирский математический журнал // Архив
Сиб. матем. журн., 1979, том 20, номер 2, страницы 440–441 (Mi smj3867)
Эта публикация цитируется в 1 статье

Отдел заметок

Число Ханфа для исчисления с квантором Хартига

А. Г. Пинус

Новосибирский электротехнический институт

Аннотация: Доказывается, что число Ханфа для расширения узкого исчисления предикатов квантором Хартига совпадает с числом Ханфа исчисления предикатов второго порядка.
Библ. 6.

УДК: 517.11

Статья поступила: 27.04.1977


 Англоязычная версия: Siberian Mathematical Journal, 1979, 20:2, 315–316

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

© МИАН, 2024