Proof theory in computer science international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings / - Kahle, Reinhard,; Schroeder-Heister, Peter Joseph,; Stärk, Robert F., (Lecture notes in computer science ;)