МальцевАИ ...


Мальцев А. И.
[1961]
Эффективная неотделимость множества тождественно истинных и конечно опровержимых формул некоторых элементарных теорий
ДАН СССР, 139, № 4, 802-805
62.05.82
статья

Вернуться к поиску