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