sacook@cs.toronto.edu (Stephen Cook) (01/03/90)
PHL2122S, Urquhart's course on the complexity of propositional proof systems, will meet TR10 in the nursing building, corner of St. George and Russell.