Decidable theories
| データ種別 | 図書 |
|---|---|
| 出版者 | Berlin : Springer-Verlag |
| 書誌ID | LT01019367 |
子書誌情報を非表示
| 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. - Berlin : Springer-Verlag , 1973 |
書誌詳細を非表示
| 本文言語 | und |
|---|---|
| NCID | BA06659608 |