Seminar series Advanced Logic Class Date Thu, 10 May 2007 11:00 Location SR1 Speaker Philipp Hieronymi Organisation Oxford