Одинцов С.П., Селиванов В.Л. ...


Одинцов С.П., Селиванов В.Л.
[1989]
Арифметическая иерархия и идеалы нумерованных булевых алгебр
Сибирск. матем. журнал, 30, № 6, 140-149
90.08.260
G
статья

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