The completeness of the first-order functional calculus (Q5791200)

From MaRDI portal
scientific article; zbMATH DE number 3051940
Language Label Description Also known as
English
The completeness of the first-order functional calculus
scientific article; zbMATH DE number 3051940

    Statements

    The completeness of the first-order functional calculus (English)
    0 references
    0 references
    0 references
    1949
    0 references
    0 references
    logic
    0 references
    0 references
    0 references