A Relation-Algebraic Treatment of the Dedekind Recursion Theorem (Q5098710)

From MaRDI portal
scientific article; zbMATH DE number 7578332
Language Label Description Also known as
English
A Relation-Algebraic Treatment of the Dedekind Recursion Theorem
scientific article; zbMATH DE number 7578332

    Statements

    Identifiers