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