Wolfram Pohlers. Proof Theory. Springer, 2009.. Condition is Like New. Shipped with USPS Media Mail.