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