Extending the set of variables in propositional logics

Categories and tags

  • Abstrakt