display all the ideas for this combination of texts
3 ideas
10569 | If you ask what F the second-order quantifier quantifies over, you treat it as first-order [Fine,K] |
10175 | Three types of variable in second-order logic, for objects, functions, and predicates/sets [Reck/Price] |
10570 | Assigning an entity to each predicate in semantics is largely a technical convenience [Fine,K] |