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