RUS
ENG
Полная версия
ЖУРНАЛЫ
// Доклады Академии наук
// Архив
Докл. АН СССР,
1983
, том 268,
номер 4,
страницы
814–817
(Mi dan45902)
Эта публикация цитируется в
1
статье
МАТЕМАТИКА
Неразрешимость проблемы функциональной выразимости в модальной логике
$\mathrm{S}4$
М. Ф. Раца
Институт математики с ВЦ АН Молдавской ССР, г. Кишинев
УДК:
510.6
+
519.7
Статья представлена к публикации:
А. Н. Колмогоров
Поступило: 18.06.1982
Полный текст:
PDF файл (766 kB)
Список цитирования
Реферативные базы данных:
©
МИАН
, 2024