Seminar series Logic Seminar Date Fri, 30 Apr 2004 15:15 Location SR1 Speaker Angus Macintyre Organisation Edinburgh