Proof theory and intuitionistic systems - Scarpellini, Bruno (Berlin : Springer-Verlag, 1971)
Bibliography 291 p
Keywords: Mathematical analysis; Mathematics -- Data processing; Electronic data processing