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 LEADER 01566nam0 2200385 i 450 001 VAN00125391 005 20251118090511.187 017 70$2N$a9783319773179 100 $a20191107d2018 |0itac50 ba 101 $aeng 102 $aCH 105 $a|||| ||||| 181 $ai$b e 182 $ab 183 $acr 200 1 $aCrystallization Modalities in Polymer Melt Processing$fHermann Janeschitz-Kriegl 210 $aCham$cSpringer$d2018 215 $aXII, 229 p.$cill.$d24 cm 620 $aCH$dCham$3VANL001889 676 $a540$cChimica generale$v22 676 $a541$cChimica fisica$v22 676 $a530.42$cFisica dello stato liquido$v22 676 $a620.192$cPolimeri$v22 676 $a532$cMeccanica dei fluidi$v22 676 $a532.05$cDinamica$v22 700 1$aJaneschitz-Kriegl$bHermann$3VANV096822$019369 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20251121$gRICA 856 4 $uhttps://link.springer.com/book/10.1007/978-3-319-77317-9$zE-book - Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth 899 $aBIBLIOTECA DEL DIPARTIMENTO DI SCIENZE E TECNOLOGIE AMBIENTALI BIOLOGICHE E FARMACEUTICHE$1IT-CE0101$2VAN17 912 $fN 912 $aVAN00125391 950 $aBIBLIOTECA DEL DIPARTIMENTO DI SCIENZE E TECNOLOGIE AMBIENTALI BIOLOGICHE E FARMACEUTICHE$d17CONS e-book 2112 $e17BIB2112/145 145 20191107 996 $aCrystallization Modalities in Polymer Melt Processing$91564900 997 $aUNICAMPANIA