Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
ИСТИНА ИНХС РАН
Главная
Поиск
Статистика
О проекте
Помощь
Существование рекурсивно перечислимой полной по Крипке нормальной модальной предикатной логики, которая не полна относительно первопорядково определимых классов шкал
тезисы доклада
Авторы:
Рыбаков М.Н.
,
Шкатов Д.П.
Сборник:
Одиннадцатые Смирновские чтения по логике: материалы Междунар. науч. конф., Москва, 19–21 июня 2019 г.
Редакторы:
Григорьев Олег Михайлович
,
Зайцев Дмитрий Владимирович
,
Ивлев Юрий Васильевич
,
Кузина Елена Борисовна
,
Маркин Владимир Ильич
,
Шалак Владимир Иванович
Тезисы
Год издания:
2019
Место издания:
Москва
Первая страница:
43
Последняя страница:
45
Добавил в систему:
Рыбаков Михаил Николаевич