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