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

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

И. А. Лавров


Поступило: 26.01.1963

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

•