Omitting types: application to recursion theory (Q5655353)

From MaRDI portal
scientific article; zbMATH DE number 3385615
Language Label Description Also known as
English
Omitting types: application to recursion theory
scientific article; zbMATH DE number 3385615

    Statements