00453nam a2200181Ia 4500 511.3 Si571.BM Siefkes, Dirk Buchis monadic second order successor arithmetic Berlin Springer-Verlag 1970 xii, 130p. Bibl. Lecture notes in Mathematics 120 "Decidable theories I" 0 0 0 0 ISI ISI 1998-09-07 0 511.3 Si571.BM DP14285 2019-02-14 00:00:00 2019-02-14 BK 8820 8820 8820