Proof theory - Takeuti, Gaisi, (Studies in logic and the foundations of mathematics ;)