General purpose systems Lecture 2. Axiom - generalities Computer Algebra System with Abstract Data Types First version.
