The monadic second order theory of all countable ordinals
Author(s)
Bibliographic Information
The monadic second order theory of all countable ordinals
(Lecture notes in mathematics, 328)(Decidable theories, 2)
Springer, 1973
- : Germany
- : U.S.
Available at / 67 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
: GermanyL/N||LNM||3281979042
-
Hokkaido University, Library, Graduate School of Science, Faculty of Science and School of Science研究室
: GermanyDC16:512.8/B862020799811
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographies
Contents of Works
- 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
Description and Table of Contents
Table of Contents
The monadic second order theory of ?1.- Axiomatization of the monadic second order theory of ?1.
by "Nielsen BookData"