LEADER 00814nam1-22002891i-450-
001 990001234610403321
005 20111214205102.0
035   $a000123461
035   $aFED01000123461
035   $a(Aleph)000123461FED01
035   $a000123461
100   $a20001205d1970----km-y0itay50------ba
101 0 $aeng
102   $aDE
200 1 $aDecidable theories$fedited by Gert H. Müller
210   $aBerlin [etc.]$cSpringer-Verlag$d1970
215   $av.
225 1 $aLecture notes in mathematics$v120
463 \1$1001990009126190403321$12001 $aBüchi's monadic second order successor arithmetic
702  1$aMüller,$bGert H.
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001234610403321
959   $aMA1
959   $aFI1
996   $aDecidable theories$9382246
997   $aUNINA