Proof theory in computer science international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7 - 12, 2001 ; proceedings (Springer, 2001)