display all the ideas for this combination of texts
3 ideas
13438 | 'Prenex normal form' is all quantifiers at the beginning, out of the scope of truth-functors [Bostock] |
13818 | If we allow empty domains, we must allow empty names [Bostock] |
9186 | First-order logic concerns objects; second-order adds properties, kinds, relations and functions [Dummett] |