авторЛ. ТухватуллинаКомпьютерные алгоритмы теоретико-множественного анализа сложных алгебраических систем
Буклинкер