Toward a theory of second-order consequence (Q701293)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Toward a theory of second-order consequence
scientific article

    Statements

    Toward a theory of second-order consequence (English)
    0 references
    0 references
    0 references
    23 October 2002
    0 references
    logical consequence
    0 references
    second-order language of set theory
    0 references
    monadic second-order logic
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers