CS 641 Lecture -*- Outline -*- meeting 1 * predicates * complete-lattices See also cohen-quantifiers.txt in ../truth-values/ * selection-individuals