The monadic second order theory of all countable ordinals

J. Richard Büchi, Dirk Siefkes
Bok · Språk ikke angitt · 1973

Utgitt	Berlin : Springer , 1973
Omfang	VI, 217 s.
Emner	Gödel's theorem Model theory
ISBN	0387063455. - 3540063455