Seminar series Advanced Logic Class Date Thu, 03 Feb 2011 11:00 Location SR2 Speaker Austin Yim Organisation Oxford