Seminar series Advanced Logic Class Date Thu, 19 Oct 2006 11:00 Location L3 Speaker Philipp Hieronymi