Proof theory and intuitionistc systems - Scarpellini, Bruno (Springer, 1964)