LEADER 00757nam0-22002651i-450-
001 990001194220403321
035   $a000119422
035   $aFED01000119422
035   $a(Aleph)000119422FED01
035   $a000119422
100   $a20000920d1977----km-y0itay50------ba
101 0 $aeng
200 1 $aProof Theory$fby SCUTTE K.
210   $aBerlin [etc.]$cSpringer-Verlag$d1977
225 1 $a<<Die >>Grundlehren der mathematischen Wissenschaften$v255
300   $aTranslation from the German by J.N. Crossle y.
700  1$aSchutte,$bKarl$056227
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001194220403321
952   $aC-28-(225$b19163$fMA1
959   $aMA1
996   $aProof Theory$9341394
997   $aUNINA
DB    $aING01