In case you or your students are interested, I'm teaching Logic III (Phil 479/679) on incompleteness and recursive functions TR 11-12:15 in Scurfield Hall 274. -- Richard Zach ...... http://www.ucalgary.ca/rzach/ Professor, Department of Philosophy University of Calgary, Calgary AB T2N 1N4, Canada