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


Одинцов С. П.
[1986]
Решетка рекурсивно перечислимых подалгебр рекурсивной булевой алгебры
Алгебра и логика, 25, № 6, 631-642
88.12.35
G
статья

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