Proof theory
Takeuti, Gaisi.
Amsterdam Oxford North-Holland Publishing Co. [etc.]
1975
'... based on a series of lectures [given by the author] at the Symposium on Intuitionism and Proof Theory ... Buffalo ... 1968' - Preface
Includes index
Proof theory.