TY  - BOOK
AU  - Buss, Samuel R. Ed.
TI  - Handbook of Proof Theory : (SL 137)
SN  - 0 444 89840 9
CY  - Netherlands
KW  - Proof Theory
ER  -