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