Dense completeness theorem for protoalgebraic logics

Categories and tags

  • Abstrakt