No label defined (Q4681891)

From MaRDI portal
scientific article; zbMATH DE number 2174388
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 2174388

    Statements

    8 June 2005
    0 references
    quantifier-free induction schema
    0 references
    least element principle
    0 references
    elementary arithmetic
    0 references
    free function symbol
    0 references
    0 references

    Identifiers