LEADER 00753nam0-22002651i-450-
001 990001280450403321
035   $a000128045
035   $aFED01000128045
035   $a(Aleph)000128045FED01
035   $a000128045
100   $a20000920d1971----km-y0itay50------ba
101 0 $aeng
200 1 $aProof Theory and Intuitionistic System$fdi Scarpellini Bruno
205   $a$a
210   $aBerlin [etc.]$cSpringer-Verlag$d1971
215   $aLecture Notes in Mathematics, 212
700  1$aScarpellini,$bBruno$050397
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001280450403321
952   $aC-20-(212$b11331$fMA1
959   $aMA1
996   $aProof Theory and Intuitionistic System$9340618
997   $aUNINA
DB    $aING01