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