Proof theory and intuitionistic systems - Scarpellini, Caterina 1808-1873 (Lecture notes in mathematics, 1971)