%0 Book %A Buss, Samuel R. %D 1998 %I Elsevier %T Handbook of proof theory