CS 641 Lecture -*- Outline -*- meeting 1 * boolean-lattices * derivations * cohen * cohen-quantifiers