01023nam2-2200337---450-99000912619040332120100125094812.0000912619FED01000912619(Aleph)000912619FED0100091261920091210d1970----km-y0itay50------baengDEa---a---001yyBüchi's monadic second order successor arithmeticDirk SierfkesBerlin [etc.]Springer-Verlagc1970XII, 130 p.ill.25 cmLecture Notes in Mathematics1200010001234612001Decidable theories1Fondamenti della logica matematica e probabilitàSiefkes,Dirk57138ITUNINARICAUNIMARCBK9900091261904033214A-196F.D. 400FI1C-20-(1209260MA1FI1MA1Buchi's monadic second order successor arithmetic83134UNINA