Proof theory and intuitionistic systems Bruno Scarpellini. - Scarpellini, Bruno (Lecture notes in mathematics (Springer-Verlag) ;, 1971)