E. A. Kolmakov, L. D. Beklemishev, “Axiomatization of provable $n$-provability”, J. Symb. Log., 2019, том 84, выпуск 2,страницы 849–869

RUS ENG

Полная версия

ЖУРНАЛЫ // Journal of Symbolic Logic // Архив

J. Symb. Log., 2019, том 84, выпуск 2, страницы 849–869 (Mi jsl2)

Эта публикация цитируется в 3 статьях

Axiomatization of provable $n$-provability

E. A. Kolmakov^ab, L. D. Beklemishev^ac

^a Steklov Mathematical Institute of Russian Academy of Sciences, 8 Gubkina Street, Moscow 119991, Russia
^b Faculty of Computer Science National Research University Higher School of Economics, 3 Kochnovsky proezd, Moscow 125319, Russia
^c Faculty of Mathematics National Research University Higher School of Economics, 6 Usacheva Street, Moscow 119048, Russia

Язык публикации: английский

DOI: 10.1017/jsl.2018.82

Список цитирования

Реферативные базы данных:

© МИАН, 2024