second-order logic (Q1548746)

From Wikidata
Jump to: navigation, search
system of formal logic allowing quantification over relations
    No aliases defined
[edit]
Language Label Description Also known as
English
second-order logic
system of formal logic allowing quantification over relations

    Statements

    /m/01y3yt
    1 reference