Тайцлин М.А. ...


Тайцлин М.А.
[1962]
Эффективная неотделимость множества тождественно истинных и множества конечно опровержимых формул элементарной теории структур
Алгебра и логика, 1, № 3, 24-38
63.02.92
статья

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