A STRUCTURAL CRITERION FOR RECURSIVE ENUMERATION WITHOUT REPETITION (Q5341752)

From MaRDI portal
scientific article; zbMATH DE number 3214536
Language Label Description Also known as
English
A STRUCTURAL CRITERION FOR RECURSIVE ENUMERATION WITHOUT REPETITION
scientific article; zbMATH DE number 3214536

    Statements

    A STRUCTURAL CRITERION FOR RECURSIVE ENUMERATION WITHOUT REPETITION (English)
    0 references
    1964
    0 references
    mathematical logic
    0 references

    Identifiers