Recursive Functions and Intuitionistic Number Theory (Q5802130)

From MaRDI portal
scientific article; zbMATH DE number 3062921
Language Label Description Also known as
English
Recursive Functions and Intuitionistic Number Theory
scientific article; zbMATH DE number 3062921

    Statements

    Identifiers