OPAC

Büchi's monadic second order successor arithmetic / Dirk Siefkes
(Lecture notes in mathematics ; 120)
(Decidable theories ; 1)

配架場所	巻　次	請求記号	資料番号	原簿番号	状　態	ISBN	予約	指定図書	仮想書架
科学文化論(品)		410.1/Si2	0187078041	89922					仮想書架		仮想書架
応用数学(越)		410.8/L 1/120	50000109498	109498					仮想書架		仮想書架

出版情報	Berlin : Springer-Verlag , 1970
大きさ	xii, 130 p. ; 26 cm
一般注記	Bibliography: p. [125]-127
著者標目	*Siefkes, Dirk
件　名	LCSH:Predicate calculus LCSH:Sequential machine theory
分　類	LCC:QA3 DC:511/.65
本文言語	英語
書誌ID	TB10014124
NCID	BA0680937X