Seminar series Logic Seminar Date Fri, 17 Oct 2003 16:30 Location L3 Speaker Olivier Lessman Organisation Oxford