ВЕРСИЯ ДЛЯ СЛАБОВИДЯЩИХ
Войти
Логин:
Пароль:
Забыли пароль?
научная деятельность
структура институтаобразовательные проектыпериодические изданиясотрудники институтапресс-центрконтакты
русский | english

2023 г.

Parameterfree Comprehension does not imply full Comprehension in second order Peano arithmetic. Studia Logica, 2023, final decision. (WoS Q2)

Авторы: Kanovei V., Lyubetsky V.
 

 

  © Федеральное государственное бюджетное учреждение науки
Институт проблем передачи информации им. А.А. Харкевича Российской академии наук, 2023
Об институте  |  Контакты  |  Старая версия сайта