---

＜Books＞
The monadic second order theory of all countable ordinals / {by} J. Richard BN̄chi {and} Dirk Siefkes.
(Decidable theories ; 2)
(Lecture notes in mathematics ; 328)

Publisher	Berlin : Springer
Year	1973
Size	vi, 217 p. 26 cm.
Authors	BN̄chi, J. Richard Siefkes, Dirk
Subjects	Godel's theorem Model theory
Contents	BN̄chi, J. R. The monadic second order theory of {omega symbol}☆1☆.--BN̄chi, J. R. and Siefkes, D. Axiomatization of the monadic second order theory of {omega symbol}☆1☆.
Notes	Includes bibliographies.

 Similar Items