> Verlagsreihe
-
2:
The monadic second order theory of all countable ordinals J. Richard Büchi; Dirk Siefkes
Berlin [u.a.]: Springer, 1973
-
1:
Büchi's monadic second order successor arithmetic Dirk Siefkes
Berlin; Heidelberg [u.a.]: Springer, 1970