Your search returned 2 results.

Results
	1.	No cover image available No cover image available No cover image available The monadic second order theory of all countable ordinals/ J. Richard Büchi and Dirk Siefkes. by Büchi, J. Richard Siefkes, Dirk [joint author.] Series: Decidable theories ; 2. \| Lecture notes in mathematics (Springer-Verlag) ; 328. Publication details: Berlin: New York: Springer, 1973 Availability: Items available for loan: Castorina (1). Found in Open Library: Place hold Add to cart (remove)
	2.	No cover image available No cover image available No cover image available Büchi's monadic second order successor arithmetic. by Siefkes, Dirk Series: Decidable theories ; 1. \| Lecture notes in mathematics (Springer-Verlag) ; 120. Publication details: Berlin; New York: Springer-Verlag, 1970 Availability: Items available for loan: Castorina (1). Found in Open Library: Place hold Add to cart (remove)

Refine your search