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