01772nam 2200589 450 99646666520331620220909035456.03-540-36252-510.1007/BFb0061047(CKB)1000000000438677(SSID)ssj0000322476(PQKBManifestationID)12117603(PQKBTitleCode)TC0000322476(PQKBWorkID)10283685(PQKB)11299797(DE-He213)978-3-540-36252-4(MiAaPQ)EBC5584918(Au-PeEL)EBL5584918(OCoLC)1066190906(MiAaPQ)EBC6842053(Au-PeEL)EBL6842053(OCoLC)1292365004(PPN)155221124(EXLCZ)99100000000043867720220909d1970 uy 0engurnn|008mamaatxtccrDecidable theories IBüchi's monadic second order successor arithmetic /Dirk Siefkes1st ed. 1970.Berlin ;Heidelberg ;New York :Springer-Verlag,[1970]©19701 online resource (XIV, 134 p.) Lecture notes in mathematics ;120Bibliographic Level Mode of Issuance: Monograph0-387-04909-6 3-540-04909-6 Includes bibliographical references.Lecture notes in mathematics (Springer-Verlag) ;120.Gödel's theoremGödel's theorem.511.3Siefkes Dirk57138MiAaPQMiAaPQMiAaPQBOOK996466665203316Decidable theories I2909941UNISA