Seminar series Logic Seminar Date Fri, 03 Mar 2006 15:15 Location L3 Speaker Angus Macintyre Organisation QMUL