Seminar series Advanced Logic Class Date Thu, 06 May 2010 11:00 Location SR1 Speaker Jochen Koenigsmann Organisation Oxford