Вышла статья Анастасии Оноприенко
В журнале «Успехи математических наук» опубликовала статья Анастасии Оноприенко «Невозможность погружения логики HC в логику IEL^+ с сохранением классической импликации».
Оноприенко А. А. Невозможность погружения логики HC в логику IEL^+ с сохранением классической импликации // УМН. 2025. Т. 80. № 5(485). С. 187–188
