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

М. А. Тайцлин


Поступило: 14.05.1962

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

•