Büchi, J. Richard. <br/><br/>
The monadic second order theory of all countable ordinals/ 
J. Richard Büchi and Dirk Siefkes. 
 - Berlin:  New York:  Springer,  1973. 
 - vi, 217 p.:  26 cm. 
 - Lecture notes in mathematics (Berlin);  328. Decidable theories;  2. .
 - Lecture notes in mathematics (Springer-Verlag);  328. .
<br/><br/>Includes bibliographies. 
<br/><br/>Büchi, J. R. The monadic second order theory of [omega symbol]b1s.--Büchi, J. R. and Siefkes, D. Axiomatization of the monadic second order theory of [omega symbol]b1s. 
<br/><br/><label>ISBN: </label>3387063455 (New York) 
<br/><br/><label>LCCN: </label>73082358 //r85 
<br/><br/><label>Nat. Bib. No.: </label>GFR*** 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Godel's theorem.<br/>Model theory.
<br/><br/><label>Dewey Class. No.: </label>510/.8 s  511/.3