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