01069nam a2200301 i 450099100126906970753620020507190336.0970709s1971 de ||| | eng 354005541Xb10824042-39ule_instLE01309642ExLDip.to Matematicaeng511.3AMS 03FScarpellini, Bruno50397Proof theory and intuitionistic systems /Bruno ScarpelliniBerlin ; New York :Springer-Verlag,1971vii, 290, [1] p. ;24 cmLecture notes in mathematics,0075-8434 ;212Bibliography: p. [291]Intuitionistic mathematicsProof theory.b1082404223-02-1728-06-02991001269069707536LE013 03F SCA11 (1971)12013000089010le013-E0.00-l- 00000.i1093170328-06-02Proof theory and intuitionistic systems81444UNISALENTOle01301-01-97ma -engde 01