Avenhaus, J.     Reduktionssysteme [Text] : rechnen u.Schliessen in gleichungsdefinierten Strukturen / J. Avenhaus. - Berlin ; Heidelberg : Springer, 1995. - X,251 c : ил. - (Springer-Lehrbuch). - ISBN 3-540-58559-1 : Б. ц. ; Библиогр.:с.215-222.-Указ.:с.223-226 Перевод заглавия: 0 ^aСистемы приведения.Вычисления и заключения в структурах, определенных уравнениями    Перевод заглавия: 0 ^aСистемы приведения.Вычисления и заключения в структурах, определенных уравнениями ГРНТИ ^a27.03.19 УДК ^a510.624 Кл.слова (ненормированные): 0 ; системы приведения Свободных экз. нет