TY  - BOOK
AU  - Kahle, Reinhard. Ed.
AU  - Schroeder-Heister, Peter. Ed.
AU  - Stark, Robert. Ed.
TI  - Proof Theory in Computer Science, Proceedings of the International Seminar, Germany, 2001
SN  - 354042752X
CY  - Berlin
KW  - Proof Theory
KW  - Computer Science
ER  -