The hierarchy of implicational and order algebraizable logics

Categories and tags

  • Abstrakt