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」 より