Proof theory and intuitionistic systems. - Scarpellini Bruno (New York Springer-Verlag, 1971)