00309nam a2200121Ia 4500082002000000100002300020245004600043260003400089300001500123490003900138500000500177700000500182  a511.3bSc286.PT  aScarpellini, Bruno  aProof theory and intuitionistic systemsb  aBerlinbSpringer-Verlagc1971  avii, 290p.  aLecture notes in Mathematicsv 212  a  a