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

Kategorie a štítky

  • Abstrakt