LEADER 01677nam2 22003733i 450 001 VAN00254983 005 20240806101442.541 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$1001VAN00102250$12001 $aLecture notes in mathematics$1210 $aBerlin [etc.]$cSpringer$v120 461 1$1001VAN00254982$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$c20250530$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 $aVAN00254983 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08DLOAD e-book 5458 $e08eMF5458 20230301 996 $aBuchi's monadic second order successor arithmetic$983134 997 $aUNICAMPANIA LEADER 01705nam0 22004333i 450 001 VAN00255336 005 20250422102529.392 017 70$2N$a9783642652387 100 $a20230227d1971 |0itac50 ba 101 $aeng 102 $aDE 105 $a|||| ||||| 200 1 $aMarkov Processes$eStructure and Asymptotic Behavior$fMurray Rosenblatt 210 $aBerlin$cSpringer$d1971 215 $axiii, 268 p.$cill.$d24 cm 410 1$1001VAN00024107$12001 $aGrundlehren der mathematischen Wissenschaften$eA series of comprehensive texts in mathematics$1210 $aBerlin [etc.]$cSpringer$d1921-$v184 606 $a60Jxx$xMarkov processes [MSC 2020]$3VANC019842$2MF 610 $aBehavior$9KW:K 610 $aForms$9KW:K 610 $aMarkov Processes$9KW:K 610 $aMeasures$9KW:K 610 $aNatural$9KW:K 610 $aPresentations$9KW:K 610 $aProbability$9KW:K 610 $aProbability Theory$9KW:K 610 $aRandom variables$9KW:K 610 $aSet$9KW:K 610 $aTime$9KW:K 620 $dBerlin$3VANL000066 700 1$aRosenblatt$bMurray$3VANV207135$012734 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20250829$gRICA 856 4 $uhttps://doi.org/10.1007/978-3-642-65238-7$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 $aVAN00255336 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08DLOAD e-book 5555 $e08eMF5555 20230307 996 $aMarkov processes$9340780 997 $aUNICAMPANIA