RUS  ENG
Полная версия
ЖУРНАЛЫ // Записки научных семинаров ПОМИ // Архив
Зап. научн. сем. ЛОМИ, 1971, том 20, страницы 134–144 (Mi znsl2403)
Точные оценки доказуемости трансфинитной индукции в начальных отрезках арифметики

Г. Е. Минц




Реферативные базы данных:

© МИАН, 2024