で詳細を確認
Mendeley出力
＜図書＞
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 
|
所蔵情報を非表示
| 配架場所 | 巻 次 | 請求記号 | 資料番号 | 状 態 | 利用注記 | コメント | ISBN | 刷 年 | 自動書庫 | 予約/取寄 | 複写取寄 | 公費eDDS | 隣の本 |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 理数学図 |
|
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 |