Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
ИСТИНА ИНХС РАН
Главная
Поиск
Статистика
О проекте
Помощь
Седьмая Всесоюзная конференция по математической логике. Тезисы докладов
сборник
Год издания:
1984
Серия:
Всесоюзная конференция по математической логике
Место издания:
Новосибирск: Институт математики Сибирского отделения АН СССР
Сборник тезисов
Добавил в систему:
Золин Евгений Евгеньевич
Статьи, опубликованные в сборнике
1984
О разрешимости противоречивых по Крипке модальных логик
Чагрова Лилия Алексеевна
в сборнике
Седьмая Всесоюзная конференция по математической логике. Тезисы докладов
, серия
Всесоюзная конференция по математической логике
, место издания
Новосибирск: Институт математики Сибирского отделения АН СССР
, тезисы, с. 194
1984
О расширении логики доказуемости
Артемов С.Н.
в сборнике
Седьмая Всесоюзная конференция по математической логике. Тезисы докладов
, серия
Всесоюзная конференция по математической логике
, место издания
Новосибирск: Институт математики Сибирского отделения АН СССР
, тезисы
1984
О сложности суперинтуиционистских логик
Чагров Александр Васильевич
в сборнике
Седьмая Всесоюзная конференция по математической логике. Тезисы докладов
, серия
Всесоюзная конференция по математической логике
, место издания
Новосибирск: Институт математики Сибирского отделения АН СССР
, тезисы, с. 193