RUS
ENG
Полная версия
ЖУРНАЛЫ
// Доклады Академии наук
// Архив
Докл. АН СССР,
1961
, том 139,
номер 4,
страницы
802–805
(Mi dan25328)
Эта публикация цитируется в
1
статье
МАТЕМАТИКА
Эффективная неотделимость множества тождественно истинных и множества конечно опровержимых формул некоторых элементарных теорий
А. И. Мальцев
Поступило: 17.04.1961
Полный текст:
PDF файл (576 kB)
Список цитирования
Реферативные базы данных:
©
МИАН
, 2024