---

＜図書＞
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)

出版者	Berlin : Springer
出版年	1973
大きさ	vi, 217 p. 26 cm.
著者標目	BN̄chi, J. Richard Siefkes, Dirk
件　名	Godel's theorem Model theory
内容注記	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☆.
一般注記	Includes bibliographies.

 類似資料