Siefkes, Dirk  <br/><br/>
Buchi's Monadic Second Order Successor Arithmetic 
/ by Dirk Siefkes 
 - Berlin  Springer  1970 
 - 130p. 
<br/><br/><label>Dewey Class. No.: </label>519  / SIE/B