LEADER 01108nam--2200337---450-
001 990001069950203316
005 20020417132116.0
035   $a000106995
035   $aUSA01000106995
035   $a(ALEPH)000106995USA01
035   $a000106995
100   $a20020417d1981----km-y0itay0103----ba
101   $aeng
102   $aDE
105   $a||||||||001yy
200 1 $aIterated inductive definitions and subsystems of analysis$erecent proof-Theoretical studies$fWilfried Buchholz, Solomon Feferman, Wolfram Pohler, Wilfried Sieg
210   $aBerlin$cSpringer verlag$d1981
215   $aV, 383 p.$d24 cm
225 2 $aLecture notes in mathematics$v897
410   $12001$aLecture notes in mathematics$v897
676   $a515.7
702  1$aBUCHHOLZ,$BWilfried
801  0$aIT$bsalbc$gISBD
912   $a990001069950203316
951   $a510 LNM 897$b908 CBS$c510$D00110001
959   $aBK
969   $aSCI
979   $aPATTY$b90$c20020417$lUSA01$h1321
979   $aPATRY$b90$c20040406$lUSA01$h1714
996   $aIterated inductive definitions and subsystems of analysis$9979466
997   $aUNISA