TY  - BOOK
AU  - Baaz,Matthias
TI  - Methods of Cut Elimination
SN  - 9789400703193
U1  - 510 BAA 
PY  - 2011///
CY  - London
PB  - Springer
ER  -