Baaz, Matthias
Methods of cut-elimination
Dordrecht : Springer, 2011. vi, 257 p.
QA9.54 B33