Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
ИСТИНА ИНХС РАН
Главная
Поиск
Статистика
О проекте
Помощь
Annals of Pure and Applied Logic
журнал
Индексирование: Zentralblatt MATH (zbMATH) (1 января 1970 г.-), Scopus (1 января 1970 г.-), JCR (1 января 1970 г.-)
Период активности журнала: не указан
Другие названия журнала:
Ann. Pure Appl. Logic
Издательство:
Elsevier BV
Местоположение издательства:
Netherlands
ISSN:
0168-0072 (Print)
Статьи, опубликованные в журнале
Страницы:
<< предыдущая
1
2
следующая >>
2001
Logic of proofs and provability
Yavorskaya (Sidon) T.
в журнале
Annals of Pure and Applied Logic
, издательство
Elsevier BV
(Netherlands)
, том 113, № 1, с. 345-372
1996
Data storage interpretation of labeled modal logic
Artemov S.
,
Krupski V.
в журнале
Annals of Pure and Applied Logic
, издательство
Elsevier BV
(Netherlands)
, том 78, № 1-3, с. 57-71
DOI
1995
Invited papers presented at the Conference on Proof Theory, Provability Logic, and Computation – Preface
Artemov Sergei
,
Boolos George
,
Engeler Erwin
,
Feferman Solomon
,
Jäger Gerhard
,
Visser Albert
в журнале
Annals of Pure and Applied Logic
, издательство
Elsevier BV
(Netherlands)
, том 75, № 1-2, с. 1-1
DOI
1995
Models for the Lambek calculus
Pentus Mati
в журнале
Annals of Pure and Applied Logic
, издательство
Elsevier BV
(Netherlands)
, том 75, № 1-2, с. 179-213
DOI
1994
Logic of proofs
Artëmov Sergei
в журнале
Annals of Pure and Applied Logic
, издательство
Elsevier BV
(Netherlands)
, том 67, № 1-3, с. 29-59
DOI
1993
Maximal Kripke-Type Semantics for Modal and Superintuitionistic Predicate Logics
Skvortsov Dmitrij
,
Shehtman Valentin
в журнале
Annals of Pure and Applied Logic
, издательство
Elsevier BV
(Netherlands)
, том 63, № 1, с. 69-101
DOI
Страницы:
<< предыдущая
1
2
следующая >>