Equational bases for joins of subvarieties of algebras of non-classical logics

Categories and tags

  • Abstrakt