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