Proof Theory and Intuitionistic Systems by Bruno Scarpellini