Seminar series Advanced Logic Class Date Thu, 11 Feb 2010 11:00 Location SR2 Speaker Martin Bays (Oxford Organisation Oxford