Proof theory in computer science : international seminar ; proceedings - Kahle, Reinhard (Herausgeber); PTCS (2001 : Dagstuhl) (Lecture notes in computer science, 2001)