Дегтев А.Н. ...


Дегтев А.Н.
[1978]
Разрешимость ∀∃-теории некоторой фактор решетки рекурсивно перечислимых множеств
Алгебра и логика, 17, № 12, 134-143
78.11.40
OS
статья

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