LEADER 01054nam0-22003491i-450 
001 990000969350403321
005 20240118094004.0
010   $a3-540-11170-0
035   $a000096935
035   $aFED01000096935
035   $a(Aleph)000096935FED01
035   $a000096935
100   $a20000920d1981----km-y0itay50------ba
101 0 $aeng
200 1 $aIterated inductive definitions and subsystems of analysis$eRecent Proof-Theoretical Studies$fWilfried Buchholz ... [et al.]
210   $aBerlin [etc.]$cSpringer-Verlag$d1981
215   $aV, 383 p.$d24 cm
225 1 $aLecture Notes in Mathematics$v897
610 0 $aLogica
610 0 $aRicorsività
676   $a160
700  1$aBuchholz,$bWilfried$045406
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990000969350403321
952   $a7-252$b12008$fFI1
952   $a10 DO 93 TA$bDONOTAMBURRINI93/23$fDINEL
959   $aDINEL
959   $aFI1
996   $aIterated inductive definitions and subsystems of analysis$9342985
997   $aUNINA
DB    $aING01