Proof theory (Berlin : Springer, 2009)