TY  - BOOK
AU  - Buss Samuel R
TI  - Handbook of proof theory
SN  - 0-444-89840-9
U1  - 511.3 
PY  - 1998///
CY  - Amsterdam
PB  - Elsevier Science
KW  - Proof theory
ER  -