|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Натуральные исчисления с характеристиками зависимости для нормальных систем модальной логикитезисы доклада
- Автор: Григорьев О.М.
- Сборник: Шестые Смирновские чтения по логике. Материалы международной научной конференции. 17-19 июня 2009 года
- Редакторы: Григорьев Олег Михайлович, Зайцев Дмитрий Владимирович, Ивлев Юрий Васильевич, Маркин Владимир Ильич
- Серия: Смирновские чтения по логике
- Тезисы
- Год издания: 2009
- Место издания: Современные тетради Москва
- Первая страница: 54
- Последняя страница: 55
- Добавил в систему: Смирнова Елена Дмитриевна