00814nam1-22002891i-450-99000123461040332120111214205102.0000123461FED01000123461(Aleph)000123461FED0100012346120001205d1970----km-y0itay50------baengDEDecidable theoriesedited by Gert H. MüllerBerlin [etc.]Springer-Verlag1970v.Lecture notes in mathematics1200019900091261904033212001 Büchi's monadic second order successor arithmeticMüller,Gert H.ITUNINARICAUNIMARCBK990001234610403321MA1FI1Decidable theories382246UNINA