On the cut operation in Gentzen calculi (Q3236672)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On the cut operation in Gentzen calculi
scientific article

    Statements

    On the cut operation in Gentzen calculi (English)
    0 references
    1956
    0 references
    Foundations
    0 references
    Philosophy
    0 references
    Mathematical Logic
    0 references
    0 references

    Identifiers