Text this: Proof theory / Gaisi Takeuti.