term algebra

freely generated algebraic structure over a given signature

دسته بندی ها: