Proof theory and intuitionistic systems - Scarpellini, Caterina 1808-1873 (Springer, 1971)