Jump to main content

yr 〜
yr

Search results 5

The monadic second order theory of all countable ordinals [by] J. Richard Büchi [and] Dirk Siefkes. (Decidable theories, 2) (Lecture notes in mathematics (Berlin) 328)

The monadic second order theory of all countable ordinals [by] J. Richard Büchi [and] Dirk Siefkes. (Decidable theories, 2) (Lecture notes in mathematics (Berlin) 328)
Paper図書
Springer1973.<MA41-61>
National Diet Library

Ｔｈｅ　ｍｏｎａｄｉｃ　ｓｅｃｏｎｄ　ｏｒｄｅｒ　ｔｈｅｏｒｙ　ｏｆ　ａｌｌ　ｃｏｕｎｔａｂｌｅ　ｏｒｄｉｎａｌｓ (Ｄｅｃｉｄａｂｌｅ　ｔｈｅｏｒｉｅｓ : Ｌｅｃｔｕｒｅ　ｎｏｔｅｓ　ｉｎ　ｍａｔｈｅｍａｔｉｃｓ　（Ｓｐｒｉｎｇｅｒ－Ｖｅｒｌａｇ）)

Ｔｈｅ　ｍｏｎａｄｉｃ　ｓｅｃｏｎｄ　ｏｒｄｅｒ　ｔｈｅｏｒｙ　ｏｆ　ａｌｌ　ｃｏｕｎｔａｂｌｅ　ｏｒｄｉｎａｌｓ (Ｄｅｃｉｄａｂｌｅ　ｔｈｅｏｒｉｅｓ : Ｌｅｃｔｕｒｅ　ｎｏｔｅｓ　ｉｎ　ｍａｔｈｅｍａｔｉｃｓ　（Ｓｐｒｉｎｇｅｒ－Ｖｅｒｌａｇ）)
Paper図書
［ｂｙ］Ｊ．ＲｉｃｈａｒｄＢｕ¨ｃｈｉ［ａｎｄ］ＤｉｒｋＳｉｅｆｋｅｓ． ;Ｓｐｒｉｎｇｅｒ－Ｖｅｒｌａｇ１９７３．
Other Libraries in Japan
  • Title HeadingＴｈｅ　ｍｏｎａｄｉｃ　ｓｅｃｏｎｄ　ｏｒｄｅｒ　ｔｈｅｏｒｙ　ｏｆ　ａｌｌ　ｃｏｕｎｔａｂｌｅ　ｏｒｄｉｎａｌｓ

The monadic second order theory of all countable ordinals : Germany : U.S.

The monadic second order theory of all countable ordinals : Germany : U.S.
Paper図書
J. Richard Büchi, Dirk SiefkesSpringer1973
Other Libraries in Japan

Decidable theories

Decidable theories
Paper図書
Springer-Verlag
Other Libraries in Japan
  • Related Material...sor arithmetic The monadic second order theory of all countable ordinals

Lecture notes in mathematics

Lecture notes in mathematics
Paper図書
Springer-Verlag
Other Libraries in Japan
  • Related Material...characteristic The monadic second order theory of all countable ordinals The deficiency index problem ...

Reached to the end of result.

RSS