LEADER 01673nam2 22003733i 450 001 VAN0254983 005 20230523023338.806 017 70$2N$a9783540362524 100 $a20230220d1970 |0itac50 ba 101 $aeng 102 $aDE 105 $a|||| ||||| 200 1 $aˆ1.: ‰Büchi's Monadic Second Order Successor Arithmetic$fDirk Siefkes$gEdited by Gert H. Müller 210 $aBerlin$cSpringer$d1970 215 $axiv, 134 p.$d24 cm 461 1$1001VAN0102250$12001 $aLecture notes in mathematics$1210 $aBerlin [etc.]$cSpringer$v120 461 1$1001VAN0254982$12001 $aDecidable Theories$1210 $aBerlin$cSpringer$d1970-1973$1215 $a2 volumi$d24 cm$v1 606 $a00-XX$xGeneral and overarching topics; collections [MSC 2020]$3VANC025238$2MF 610 $aArithmetic$9KW:K 610 $aDecidability$9KW:K 610 $aSecond Order Successor Arithmetic$9KW:K 610 $aSucessor Arithmetic$9KW:K 620 $dBerlin$3VANL000066 700 1$aSiefkes$bDirk$3VANV043015$057138 702 1$aMüller$bGert H.$3VANV094692$4340 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20240614$gRICA 856 4 $uhttps://doi.org/10.1007/BFb0061047$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $fN 912 $aVAN0254983 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS e-book 5458 $e08eMF5458 20230301 996 $aBuchi's monadic second order successor arithmetic$983134 997 $aUNICAMPANIA