[Alta-Logic] Talk Thursday: Alasdair Urquhart on Resolution

[Richard Zach]

Reminder that Alasdair Urquhart (Computer Science and Philosophy, U of
T) will give a talk on "Ideas and Problems in Resolution Theorem
Proving" in 1253 SS at 4pm Thursday Nov 4.

Please let me know if you'd like to come to dinner with Alasdair after
his talk.

Yours,
Richard
-- 
Richard Zach ...... http://www.ucalgary.ca/~rzach/
Associate  Professor,   Department  of  Philosophy
University of Calgary, Calgary, AB T2N 1N4, Canada