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 |