Seminar series Logic Seminar Date Fri, 20 Feb 2004 15:15 Location SR1 Speaker A Borovik Organisation UMIST