このページのリンク

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

データ種別 図書
出版情報 Berlin : Springer-Verlag , 1970
本文言語 英語
大きさ xii, 130 p. ; 26 cm

所蔵情報を非表示

積層4層
410.8||L||120 9851161490


積層4層
410.8||L||120(B) 9851179365


書誌詳細を非表示

一般注記 Bibliography: p. [125]-127
著者標目  *Siefkes, Dirk
分 類 LCC:QA3
DC:511/.65
件 名 LCSH:Predicate calculus
LCSH:Sequential machine theory
書誌ID TY00017671
NCID BA0680937X