Cut Elimination in ε‐Calculi (Q5896367)

From MaRDI portal
scientific article; zbMATH DE number 3861146
Language Label Description Also known as
English
Cut Elimination in ε‐Calculi
scientific article; zbMATH DE number 3861146

    Statements

    Cut Elimination in ε‐Calculi (English)
    0 references
    0 references
    1982
    0 references
    epsilon calculus
    0 references
    cut elimination
    0 references
    equality
    0 references
    Hilbert's schema
    0 references

    Identifiers