![]() |
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Настоящая диссертация посвящена исследованию схем рефлексии для фрагментов формальной арифметики Пеано и применению этих схем к вопросам сравнения и классификации арифметических теорий.