Decidable theories
| データ種別 | 図書 |
|---|---|
| 出版者 | Berlin ; New York : Springer-Verlag |
子書誌情報を非表示
| 1 | 1 Büchi'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 |
書誌詳細を非表示
| 書誌ID | TY00018585 |
|---|---|
| NCID | BA06659608 |
