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