The monadic Second order theory of all countable ordinals /
J.Richard Buchi,Dirk Siefkes
- Berlin : Springer-Verlag, 1973
- vi, 217p. ; 25 cm.
- Lecture notes in mathematics .
3540063455 : PND 20.00
Mathematical analysis Mathematics--Data processing Electronic data processing