Seminar series Logic Seminar Date Fri, 10 Oct 2003 16:30 Location L3 Speaker Ivan Fesenko Organisation Nottingham