Одинцов С. П. ...


Одинцов С. П.
[1992]
Наследственные рекурсивно перечислимые подалгебры рекурсивной булевой алгебры
Алгебра и логика, 31, № 1, 38-46
93.06.45
G
статья

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