The hierarchy of implicational and order algebraizable logics

Kategorie a štítky

  • Abstrakt