display all the ideas for this combination of texts
3 ideas
10175 | Three types of variable in second-order logic, for objects, functions, and predicates/sets [Reck/Price] |
18763 | Basic variables in second-order logic are taken to range over subsets of the individuals [Anderson,CA] |
18771 | Stop calling ∃ the 'existential' quantifier, read it as 'there is...', and range over all entities [Anderson,CA] |