で詳細を確認
Mendeley出力
＜図書＞
Decidable theories
| 出版者 | Berlin ; New York : Springer-Verlag |
|---|---|
| 書誌ID | 2004092251 |
| NCID |
BA06659608 
|
子書誌情報を非表示
| 1 | 1 Buchi's monadic second order successor arithmetic / Dirk Siefkes Berlin : Springer-Verlag , 1970 |
| 2 | 2 The monadic second order theory of all countable ordinals / J. Richard Büchi, Dirk Siefkes : Germany,: U.S.. - Berlin ; New York : Springer , 1973 |