LEADER 00706nam0-22002651i-450-
001 990001272930403321
035   $a000127293
035   $aFED01000127293
035   $a(Aleph)000127293FED01
035   $a000127293
100   $a20000920d1989----km-y0itay50------ba
101 0 $aeng
200 1 $aProof Theory. An Introduction$fby Pohlers
205   $a$a
210   $aBerlin [etc.]$cSpringer-Verlag$d1989
215   $aLecture notes in mathematics$d1407
700  1$aPohlers,$bWolfram$056702
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001272930403321
952   $aC-20-(1407$b6265$fMA1
959   $aMA1
996   $aProof theory$981534
997   $aUNINA
DB    $aING01