Seminar series Advanced Logic Class Date Thu, 21 Feb 2008 10:00 Location SR1 Speaker Juan Diego Caycedo Organisation Oxford