Sequents and trees. An introduction to the theory and applications of propositional sequent calculi (Q2007478)

From MaRDI portal





scientific article; zbMATH DE number 7261255
Language Label Description Also known as
English
Sequents and trees. An introduction to the theory and applications of propositional sequent calculi
scientific article; zbMATH DE number 7261255

    Statements

    Sequents and trees. An introduction to the theory and applications of propositional sequent calculi (English)
    0 references
    14 October 2020
    0 references

    Identifiers