No label defined (Q3887456)

From MaRDI portal
scientific article
Language Label Description Also known as
English
No label defined
scientific article

    Statements

    1980
    0 references
    computation trees
    0 references
    transfinite recursion
    0 references
    terms for functionals of finite type
    0 references
    bar recursion of type zero
    0 references
    ordinal notations
    0 references
    elementary intuitionistic analysis
    0 references
    Skolem arithmetic
    0 references

    Identifiers