Incompleteness of a formal system for infinitary finite-quantifier formulas (Q5650664)

From MaRDI portal
scientific article; zbMATH DE number 3378886
Language Label Description Also known as
English
Incompleteness of a formal system for infinitary finite-quantifier formulas
scientific article; zbMATH DE number 3378886

    Statements

    Incompleteness of a formal system for infinitary finite-quantifier formulas (English)
    0 references
    1971
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references