LEADER 00875nam0-22003251i-450-
001 990001439660403321
010   $a3-540-64882-8
035   $a000143966
035   $aFED01000143966
035   $a(Aleph)000143966FED01
035   $a000143966
100   $a20000920d1999----km-y0itay50------ba
101 0 $aeng
200 1 $aSubsystems of second order arithmetic$fStephen G. Simpson
210   $aBerlin$cSpringer$dc1999
215   $axiv, 444 p.$d25 cm
225 1 $aPerspective in Mathematical Logic
610 0 $aCalcolo
676   $a511.3
700  1$aSimpson,$bStephen George$047524
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001439660403321
952   $aC-48-(28$b16470$fMA1
959   $aMA1
962   $a03B30
962   $a03F25
996   $aSubsystems of second order arithmetic$979010
997   $aUNINA
DB    $aING01