RUS
ENG
Полная версия
ЖУРНАЛЫ
// Logic Journal of the IGPL
// Архив
Log. J. IGPL, 2019, том 27, выпуск 1,
страницы
1–7
(Mi ljour7)
Complexity of the interpretability logic IL
Luka Mikec
a
,
Fedor Pakhomov
bc
,
Mladen Vuković
a
a
Department of Mathematics, Faculty of Science, University of Zagreb, Croatia
b
Steklov Mathematical Institute of Russian Academy of Sciences, Moscow, Russia
c
National Research University Higher School of Economics, Moscow, Russia
Поступила в редакцию:
14.05.2018
Язык публикации:
английский
DOI:
10.1093/jigpal/jzy015
Реферативные базы данных:
ArXiv:
1710.05599
©
МИАН
, 2025
