---

The monadic second order theory of all countable ordinals / J. Richard Büchi, Dirk Siefkes
(Lecture notes in mathematics ; 328)
(Decidable theories ; 2)

データ種別	図書
出版者	Berlin : Springer-Verlag
出版年	1973
形態	vi, 217 p. ; 26 cm
著者標目	*Büchi, J. Richard, 1924-1984 Siefkes, Dirk
件　名	LCSH:Gödel's theorem LCSH:Model theory
分　類	NDC:410.8 NDC:415.1 DDC:510/.8 s DDC:511/.3 LCC:QA3 LCC:QA9.65
書誌ID	LT00212084

 類似資料