Primitive recursive algebraic theories and program schemes (Q4124981)

From MaRDI portal
scientific article; zbMATH DE number 3550915
Language Label Description Also known as
English
Primitive recursive algebraic theories and program schemes
scientific article; zbMATH DE number 3550915

    Statements

    Identifiers