Вышла статья Анастасии Оноприенко

В журнале «Успехи математических наук» опубликовала статья Анастасии Оноприенко «Невозможность погружения логики HC в логику IEL^+ с сохранением классической импликации».

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