TY  - DATA
AU  - Matthias Baaz, Alexander Leitsch
TI  - Methods of Cut-Elimination
SN  - 9789400703209
PY  - 2011///
PB  - Springer Netherlands
KW  - Mathematics and Statistics
UR  - https://doi.org/10.1007/978-94-007-0320-9
ER  -