Seminar series Advanced Logic Class Date Thu, 30 Nov 2006 11:00 Location L3 Speaker Martin Bays Organisation Oxford