LEADER 00868nam0-22003131i-450-
001 990001443740403321
010   $a3-540-64882-8
035   $a000144374
035   $aFED01000144374
035   $a(Aleph)000144374FED01
035   $a000144374
100   $a20000920d1999----km-y0itay50------ba
101 0 $aeng
200 1 $aSubsystems of Second Order Arithmetic$fStephen G. Simpson
210   $aBerlin [etc.]$cSpringer$dc1999
215   $aXIV, 444 p.$d24 cm
225 1 $aPerspectives in mathematical logic
610 0 $aLogica
610 0 $aRicorsività
676   $a160
700  1$aSimpson,$bStephen George$047524
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001443740403321
952   $a7-304$bD.S.F. 6514$fFI1
959   $aFI1
996   $aSubsystems of second order arithmetic$979010
997   $aUNINA
DB    $aING01