Proof Theory and Institutions Systems - Scarpellini, Bruno (New York Springer-Verlag, 1971)