Лавров И.А. ...


Лавров И.А.
[1963]
Эффективная неотделимость множества тождественно истинных формул и конечно опровержимых формул некоторых теорий
Алгебра и логика, 2, № 1, 5-19
64.01.112
O
статья

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