このページのURL

この文献を取り寄せる

<図書>
Buchi'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
本文言語 英語
書誌ID 2004205196
NCID BA0680937X WCLINK

所蔵情報を非表示

理数学図
SIEF||20-B 07022001106



理工学図-書庫1層図書
||2618/J 07026026695



書誌詳細を非表示

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