LEADER 00926nam0-22002891i-450-
001 990001218740403321
035   $a000121874
035   $aFED01000121874
035   $a(Aleph)000121874FED01
035   $a000121874
100   $a20000920d1----km-y0itay50------ba
101  1$aeng
200 1 $aIterated inductive definitions and subsystems of analysis$eRecent Proof-Theoretical Studies$fby Buchholz W. Feferman S. Pohlers W. Sieg W.
210   $aBerlin [etc.]$cSpringer-Verlag$d1
225 1 $aLecture Notes in Mathematics$v897
700  1$aBuchholz,$bWilfried$045406
702  1$aFeferman,$bSolomon
702  1$aPohlers,$bWolfram
702  1$aSieg,$bWilfried
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001218740403321
952   $aC-20-(897$b20604$fMA1
959   $aMA1
996   $aIterated inductive definitions and subsystems of analysis$9342985
997   $aUNINA
DB    $aING01