Slides on Logic, Week 1 (ppt format): [Sep 11], [Sep 13]