Generalized Disjunctions in (Infinitary) Structural Consequence Relations

Kategorie a štítky

  • Abstrakt