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