|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Некоторые алгоритмические вопросы для полимодальных логик доказуемостидиссертация
- Научный руководитель: Беклемишев Лев Дмитриевич
- Автор: Пахомов Фёдор Николаевич
- Дата защиты: 22 октября 2015 года
- Шифр диссертационного совета: Д 002.022.03
- Организация: Математический институт им. В.А. Стеклова РАН
- Область знаний: Физика и математика
- Специальность: 01.01.06 - Математическая логика, алгебра и теория чисел
- Тип диссертации: Кандидатская
- Ведущая организация: Институт математики им. С.Л.Соболева Сибирского отделения РАН
- Организация, в которой выполнялась работа: Математический институт им. В.А.Стеклова РАН
- Оппоненты: Шехтман Валентин Борисович, Варданян Валерий Арамович
- Добавил в систему: Золин Евгений Евгеньевич