On the length of proofs in formal systems (Q1168322)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On the length of proofs in formal systems
scientific article

    Statements

    On the length of proofs in formal systems (English)
    0 references
    0 references
    1980
    0 references
    0 references
    length of proof
    0 references
    first order formal system
    0 references
    Presburger arithmetic
    0 references
    Peano arithmetic
    0 references
    Gentzen method
    0 references
    0 references