The monadic second order theory of all countable ordinals
著者
書誌事項
The monadic second order theory of all countable ordinals
(Lecture notes in mathematics, 328)(Decidable theories, 2)
Springer, 1973
- : Germany
- : U.S.
大学図書館所蔵 全67件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
注記
Includes bibliographies
収録内容
- The monadic second order theory of ω[1] / J. Richard Büchi
- Axiomatization of the monadic second order theory of ω[1] / J. Richard Büchi, Dirk Siefkes
内容説明・目次
目次
The monadic second order theory of ?1.- Axiomatization of the monadic second order theory of ?1.
「Nielsen BookData」 より