RUS  ENG
Полная версия
ЖУРНАЛЫ // Записки научных семинаров ПОМИ // Архив

Зап. научн. сем. ЛОМИ, 1967, том 4, страницы 44–57 (Mi znsl2207)

Достаточные условия неполноты для формализаций частей арифметики

Н. К. Косовский




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


© МИАН, 2024