Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
Интеллектуальная Система Тематического Исследования НАукометрических данных
Главная
Поиск
Статистика
О проекте
Помощь
Notre Dame Journal of Formal Logic
журнал
Индексирование: JCR (1 октября 2011 г.-), Zentralblatt MATH (zbMATH) (1 января 1970 г.-), ERIH PLUS (1 января 1970 г.-), Scopus (1 января 1970 г.-)
Период активности журнала: не указан
Добавил в систему:
Золин Евгений Евгеньевич
ISSN:
0029-4527
Статьи, опубликованные в журнале
2020
Canonization of smooth equivalence relations on infinite-dimensional E0-large products
Kanovei Vladimir
,
Lyubetsky Vassily
в журнале
Notre Dame Journal of Formal Logic
, том 61, № 1, с. 117-128
DOI
2020
The infinitary operator of almost necessary
Zolin Evgeny
в журнале
Notre Dame Journal of Formal Logic
, с. 1-23
1999
Completeness and Definability in the Logic of Noncontingency
Zolin Evgeni E.
в журнале
Notre Dame Journal of Formal Logic
, том 40, № 4, с. 533-547
DOI
1993
On propositional quantifiers in provability logic
Artemov Sergei N.
,
Beklemishev Lev D.
в журнале
Notre Dame Journal of Formal Logic
, том 34, № 3, с. 401-419
DOI