ІВ218644
Avenhaus, Jürgen.
Reduktionssysteme [Text] : Rechnen und Schließen in gleichungsdefinierten Strukturen / Jürgen Avenhaus. - Berlin ; Heidelberg ; New York : Springer-Verlag, 1995. - 251 S. : Abb. - (Springer - Lehrbuch). - Бібліогр.: с. 215-222. - ISBN 3-540-58559-1

Рубрикатор НБУВ:
 З973-047.20 
 В152.7 
Тематичні рубрики:
 Комп'ютерна логіка 
 Загальна теорія алгебраїчних систем. Універсальні алгебри 


Видання зберігається у :
Основний фонд