bn:02218114n
Noun Concept
FR
No term available
EN
In mathematical logic, a second-order predicate is a predicate that takes a first-order predicate as an argument. Wikipedia
Relations
Sources