Proof Theory, Paperback/Gaisi Takeuti