TY  - BOOK
AU  - Siefkes, Dirk 
TI  - Buchi's Monadic Second Order Successor Arithmetic
U1  - 519 
PY  - 1970///
CY  - Berlin
PB  - Springer
ER  -