No label defined (Q3757907)

From MaRDI portal
scientific article
Language Label Description Also known as
English
No label defined
scientific article

    Statements

    0 references
    1985
    0 references
    0 references
    self-referential theory
    0 references
    incompleteness
    0 references
    undecidability
    0 references
    effective numeration of syntax
    0 references
    formal systems
    0 references
    nonconstructive theories
    0 references