Seminar series Advanced Logic Class Date Thu, 26 Apr 2007 11:00 Location SR1 Speaker Philipp Hieronymi Organisation University of Oxford