00753nam0-22002651i-450-990001280450403321000128045FED01000128045(Aleph)000128045FED0100012804520000920d1971----km-y0itay50------baengProof Theory and Intuitionistic Systemdi Scarpellini BrunoBerlin [etc.]Springer-Verlag1971Lecture Notes in Mathematics, 212Scarpellini,Bruno50397ITUNINARICAUNIMARCBK990001280450403321C-20-(21211331MA1MA1Proof Theory and Intuitionistic System340618UNINAING01