RUS  ENG
Полная версия
ЖУРНАЛЫ // Доклады Академии наук // Архив

Докл. АН СССР, 1961, том 139, номер 4, страницы 802–805 (Mi dan25328)

Эта публикация цитируется в 1 статье

МАТЕМАТИКА

Эффективная неотделимость множества тождественно истинных и множества конечно опровержимых формул некоторых элементарных теорий

А. И. Мальцев


Поступило: 17.04.1961



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


© МИАН, 2024