Proof theory and intuitionistc systems - Scarpellini, Bruno (Springer, 1964)
En: Lecture notes in mathematics. Berlin, Springer, 1964- v. 212.