Proof theory - Takeuti, Gaisi, 1926-2017 (Dover Publications, 2013)