Proof theory - Takeuti, Gaisi 1926- (North-Holland Pub. Co. ; American Elsevier Pub. Co., 1975)
Based on a series of lectures given at the Symposium on Intuitionism and Proof Theory held at Buffalo in the summer of 1968.
Περιλαμβάνει ευρετήριο.