Proof theory - Takeuti, Gaisi, 1926- (Amsterdam : North-Holland, 1975)
Based on a series of lectures given at the Symposium on Intuitionism and Proof Theory held at Buffalo in the summer of 1968
Includes index
Keywords: Proof theory; Mathematics -- Study and teaching