Seminar series Advanced Logic Class Date Thu, 22 Jan 2009 11:00 Location SR1 Speaker Jamshid Derakhshan Organisation Oxford