The monadic second order theory of countable ordinals
Buchi, J. Richard and Siefkes, Dirk
The monadic second order theory of countable ordinals - Berlin Springer-Verlag 1973 - vi, 217p. - Lecture notes in Mathematics 328 .
"Decidable theories-II"
511.3 / B919.MS
The monadic second order theory of countable ordinals - Berlin Springer-Verlag 1973 - vi, 217p. - Lecture notes in Mathematics 328 .
"Decidable theories-II"
511.3 / B919.MS
