Sequent calculi for choice logics (Q2104520)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Sequent calculi for choice logics
scientific article

    Statements