sacook@cs.toronto.edu (Stephen Cook) (10/17/89)
Shai Ben David will continue his presentation of the Kochen/Kripke proof Thurs, Oct. 19, 2-3pm in GB 119.