LEADER 01023nam2-2200337---450-
001 990009126190403321
005 20100125094812.0
035   $a000912619
035   $aFED01000912619
035   $a(Aleph)000912619FED01
035   $a000912619
100   $a20091210d1970----km-y0itay50------ba
101 0 $aeng
102   $aDE
105   $aa---a---001yy
200 1 $aBüchi's monadic second order successor arithmetic$fDirk Sierfkes
210   $aBerlin [etc.]$cSpringer-Verlag$dc1970
215   $aXII, 130 p.$cill.$d25 cm
225 1 $aLecture Notes in Mathematics$v120
461  0$1001000123461$12001$aDecidable theories$v1
610 0 $aFondamenti della logica matematica e probabilità
700  1$aSiefkes,$bDirk$057138
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990009126190403321
952   $a4A-196$bF.D. 400$fFI1
952   $aC-20-(120$b9260$fMA1
959   $aFI1
959   $aMA1
996   $aBuchi's monadic second order successor arithmetic$983134
997   $aUNINA