Title: Mathematics for computer algebra
Subjects: Algebra, Data processing, Algebra, data processing, Algorithms, Mathematics, Symbolic and mathematical Logic, Mathematical Logic and Foundations