Proof Theory in Computer Science, International Seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001, Proceedings

Reinhard Kahle Peter Schroeder-Heister Robert F. Stärk Proof Theory in Computer Science, International Seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001, Proceedings PTCS Lecture Notes in Computer Science 2183 Springer 2001 3-540-42752-X db/conf/dagstuhl/ptcs2001.html