01761nam 22005295 450 99646650910331620230213213042.03-662-36678-910.1007/978-3-662-36678-3(CKB)2560000000154830(SSID)ssj0001092834(PQKBManifestationID)11993099(PQKBTitleCode)TC0001092834(PQKBWorkID)11044117(PQKB)11446265(DE-He213)978-3-662-36678-3(MiAaPQ)EBC6598279(Au-PeEL)EBL6598279(OCoLC)896376029(EXLCZ)99256000000015483020131206d1970 u| 0gerurnn|008mamaatxtccrBüchi’s Monadic Second Order Successor Arithmetic[electronic resource] /von Dirk Siefkes1st ed. 1970.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1970.1 online resource (XII, 133 S.) Lecture Notes in Mathematics,0075-8434Bibliographic Level Mode of Issuance: Monograph3-662-35848-4 Lecture Notes in Mathematics,0075-8434MathematicsMathematics, generalhttps://scigraph.springernature.com/ontologies/product-market-codes/M00009Mathematics.Mathematics, general.510Siefkes Dirkauthttp://id.loc.gov/vocabulary/relators/aut57138MiAaPQMiAaPQMiAaPQBOOK996466509103316Buchi's monadic second order successor arithmetic83134UNISA