The midterm is Friday, Feb. 14 in class. It will be based on
chapters 1 - 7 of Smith's book as well as my lecture notes. If
you want problems to think about while studying, look at Smith's
list of exercises for the corresponding chapters; they are on his logicmatters
I will have an office hour on
Thursday, Feb. 13 from 1 - 2 instead of Wednesday at 10:30.