PROOF THEORY - Takeuti, Gaisi (Amsterdam North-Holland, 1975)
Keywords: Proof Theory