Notre Dame Journal of Formal Logic - журнал | ИСТИНА – Интеллектуальная Система Тематического Исследования НАукометрических данных

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