LEADER 01770nam2 22003853i 450 001 VAN0255813 005 20230524033054.556 017 70$2N$a9783540469469 100 $a20230314d1973 |0itac50 ba 101 $aeng 102 $aDE 105 $a|||| ||||| 200 1 $aˆ2.: The ‰Monadic Second Order Theory of All Countable Ordinals$fJ. Richard Büchi, Dirk Siefkes$gedited by G. H. Müller, D. Siefkes 210 $aBerlin$cSpringer$d1973 215 $avi, 217 p.$d24 cm 461 1$1001VAN0102250$12001 $aLecture notes in mathematics$1210 $aBerlin [etc.]$cSpringer$v328 461 1$1001VAN0254982$12001 $aDecidable Theories$1210 $aBerlin$cSpringer$d1970-1973$1215 $a2 volumi$d24 cm$v2 606 $a68-XX$xComputer science [MSC 2020]$3VANC019670$2MF 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 610 $aOrdinals$9KW:K 610 $aorder theory$9KW:K 620 $dBerlin$3VANL000066 700 1$aBuchi$bJ. Richard$3VANV043014$056716 701 1$aSiefkes$bDirk$3VANV043015$057138 702 1$aMüller$bGert H.$3VANV094692$4340 702 1$aSiefkes$bDirk$3VANV043015$4340 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20240614$gRICA 856 4 $uhttps://doi.org/10.1007/BFb0082720$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 $aVAN0255813 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS e-book 5692 $e08eMF5692 20230328 996 $aMonadic second order theory of all countable ordinals$983135 997 $aUNICAMPANIA