Q1548746

From Wikidata
Jump to: navigation, search

Second-order logic(Q1548746)

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