display all the ideas for this combination of texts
3 ideas
10819 | Tarski gives us the account of truth needed to build a group of true sentences in a model [Field,H] |
10827 | Model theory is unusual in restricting the range of the quantifiers [Field,H] |
19207 | Sentence logic maps truth values; predicate logic maps objects and sets [Merricks] |