LEADER 01761nam 22005295 450 001 996466509103316 005 20230213213042.0 010 $a3-662-36678-9 024 7 $a10.1007/978-3-662-36678-3 035 $a(CKB)2560000000154830 035 $a(SSID)ssj0001092834 035 $a(PQKBManifestationID)11993099 035 $a(PQKBTitleCode)TC0001092834 035 $a(PQKBWorkID)11044117 035 $a(PQKB)11446265 035 $a(DE-He213)978-3-662-36678-3 035 $a(MiAaPQ)EBC6598279 035 $a(Au-PeEL)EBL6598279 035 $a(OCoLC)896376029 035 $a(EXLCZ)992560000000154830 100 $a20131206d1970 u| 0 101 0 $ager 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aBüchi?s Monadic Second Order Successor Arithmetic$b[electronic resource] /$fvon Dirk Siefkes 205 $a1st ed. 1970. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1970. 215 $a1 online resource (XII, 133 S.) 225 1 $aLecture Notes in Mathematics,$x0075-8434 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-662-35848-4 410 0$aLecture Notes in Mathematics,$x0075-8434 606 $aMathematics 606 $aMathematics, general$3https://scigraph.springernature.com/ontologies/product-market-codes/M00009 615 0$aMathematics. 615 14$aMathematics, general. 676 $a510 700 $aSiefkes$b Dirk$4aut$4http://id.loc.gov/vocabulary/relators/aut$057138 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466509103316 996 $aBuchi's monadic second order successor arithmetic$983134 997 $aUNISA