Марченков С.С. ...


Марченков С.С.
[1982]
Неразрешимость позитивной ∀∃-теории свободной полугруппы
Сибирск. матем. журнал, 23, № 1, 196-198
82.06.93
статья

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