DOORS（同志社大学図書館）

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

配架場所	巻　次	請求記号	資料番号	状　態	コメント	予約	文庫区分	教員指定/教員執筆/多読	仮想書架
経済学部		410.8\|\|L2\|\|328	770921127						仮想書架		仮想書架

書誌ID	BB00090636
本文言語	英語
内容注記	The monadic second order theory of ω[1] / J. Richard Büchi Axiomatization of the monadic second order theory of ω[1] / J. Richard Büchi, Dirk Siefkes
一般注記	Includes bibliographies
著者標目	Siefkes, Dirk *Büchi, J. Richard, 1924-1984
件　名	LCSH:Gödel's theorem LCSH:Model theory
分　類	LCC:QA3 LCC:QA9.65 DC:510/.8 s DC:511/.3
巻冊次	: Germany ; ISBN:3540063455 RefWorks出力（各巻） : U.S. ; ISBN:0387063455 RefWorks出力（各巻）
NCID	BA06659481

目次・あらすじ