Proof theory - Takeuti, Gaisi 1926- (Dover books on mathematics, 2013)