Seminar series Logic Seminar Date Fri, 12 Mar 2004 15:15 Location SR1 Speaker H Braun Organisation Oxford