LEADER 01154nam2 2200337   450 
001 000015020
005 20050718115600.0
100   $a20030715d1970----km-y0itay0103----ba
101 0 $aeng
102   $aDE
200 1 $aBuchi's monadic second order successor arithmetic$fDirk Siefkes$vVol. 1.
210   $d1970
215   $aXII, 130 p.$d26 cm.
225 2 $aLecture notes in mathematics$v120
410  0$12001$aLecture notes in mathematics
461  1$1001000013482$12001$aDecidable theories
700  1$aSiefkes,$bDirk$057138
801  0$aIT$bUniversità della Basilicata - B.I.A.$gRICA$2unimarc
912   $a000015020
996   $aBuchi's monadic second order successor arithmetic$983134
997   $aUNIBAS
BAS   $aMONSCI
BAS   $aSCIENZE
CAT   $aEXT002$b01$c20030715$lBAS01$h1308
CAT   $c20050601$lBAS01$h1755
CAT   $abatch$b01$c20050718$lBAS01$h1052
CAT   $c20050718$lBAS01$h1111
CAT   $c20050718$lBAS01$h1141
CAT   $c20050718$lBAS01$h1156
FMT   
Z30 -1$lBAS01$LBAS01$mBOOK$1BASA2$APolo Tecnico-Scientifico$2GEN$BCollezione generale$3MAT$61926$5S1926$820030715$f51$FRiservati