?
Local reflection, definable elements and 1-provability
Archive for Mathematical Logic. 2020. Vol. 59. P. 979-996.
Колмаков Е. А.
В печати
Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!