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