Dear MATH/CPSC colleagues, I'm teaching Logic III (Phil 479 crosslisted as grad course Phil 679) this term. It's a course on recursion theory and Gödel's incompleteness theorems. If you have students who would be interested, send them my way. The course meets MW 4-5:15 in SS 1253. Best, Richard