000 00732nam a2200265Ia 4500
003 OSt
005 20220912145050.0
006 a|||||r|||| 00| 0
007 ta
008 220909b |||||||| |||| 00| 0 eng d
024 _a68888
037 _cTextual
040 _aCSL
_beng
_cCSL
041 _aeng
082 _aB2893-32, L0
100 _aSiefkes Dirk
245 0 _aBuchi's monadic second order successor arithmatic
260 _aBerlin
_bSpringer-Verlag
_c1970
300 _axii, 130p.
_ccm.
490 _aLecture notes in mathematics; 120
500 _aBibliography 125-127p
650 _aOperational research
942 _hB2893-32, L0
_cTEXL
_2CC
999 _c22262
_d22262