Q1548746

From Wikidata
Jump to: navigation, search

Second-order logic (Q1548746)[edit]

system of formal logic allowing quantification over relations [edit]

No aliases defined. [add]

Statements

/m/01y3yt
[edit]
1 reference
[add]