Seminar series Advanced Logic Class Date Thu, 02 Nov 2006 11:00 Location SR2 Speaker Phillipp Hieronymi