Seminar series Advanced Logic Class Date Thu, 25 Oct 2007 11:00 Location SR1 Speaker J. Kirby Organisation Oxford