出版情報	Berlin ; New York : Springer , 1973
大きさ	vi, 217 p. ; 26 cm
内容注記	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
著者標目	*Büchi, J. Richard, 1924-1984  Siefkes, Dirk
件　名	LCSH:Gödel's theorem LCSH:Model theory
分　類	LCC:QA3 LCC:QA9.65 DC:510/.8 s DC:511/.3
本文言語	英語
書誌ID	TB10054223
ISBN	3540063455
NCID	BA06659481
巻冊次	: Germany ; ISBN:3540063455 : U.S. ; ISBN:0387063455