TY  - BOOK
AU  - Siefkes Dirk
TI  - Buchi's monadic second order successor arithmatic
T2  - Lecture notes in mathematics; 120
U1  - B2893-32, L0 
PY  - 1970///
CY  - Berlin
PB  - Springer-Verlag       
KW  - Operational research
N1  - Bibliography 125-127p
ER  -