Seminar series Advanced Logic Class Date Thu, 17 May 2007 11:00 Location SR2 Speaker Alex Wilkie Organisation Oxford