Here are the notes for the talk I will be giving on Monday, in case anyone wanted to come prepared. -------------- next part -------------- A non-text attachment was scrubbed... Name: Logic.pdf Type: application/pdf Size: 81657 bytes Desc: not available Url : https://mail.clemson.edu/pipermail/mathreu/attachments/20100605/e22d6de8/attachment.pdf