Research Catalog
The monadic second order theory of all countable ordinals
- Title
- The monadic second order theory of all countable ordinals [by] J. Richard Büchi [and] Dirk Siefkes.
- Author
- Büchi, J. Richard.
- Publication
- Berlin, New York, Springer, 1973.
Items in the Library & Off-site
Filter by
1 Item
| Status | Vol/Date | Format | Access | Call Number | Item Location |
|---|---|---|---|---|---|
| no. 324-328 | Text | Request in advance | JSM 95-200 no. 324-328 | Offsite |
Details
- Additional Authors
- Siefkes, Dirk.
- Description
- vi, 217 p.; 26 cm.
- Series Statement
- Lecture notes in mathematics ; \328
- Uniform Title
- University of Arkansas lecture notes in mathematics ; \328.
- Subjects
- Note
- "Decidable theories, 2."
- Bibliography (note)
- Includes bibliographies.
- Contents
- Büchi, J. R. The monadic second order theory of [omega symbol]₃.--Büchi, J. R. and Siefkes, D. Axiomatization of the monadic second order theory of [omega symbol]₃.
- Call Number
- JSM 95-200 no. 328
- ISBN
- 3387063455 (New York)
- LCCN
- 73082358
- OCLC
- 707566
- NYPG754290523-B
- Author
- Büchi, J. Richard.
- Title
- The monadic second order theory of all countable ordinals [by] J. Richard Büchi [and] Dirk Siefkes.
- Imprint
- Berlin, New York, Springer, 1973.
- Series
- Lecture notes in mathematics ; \328University of Arkansas lecture notes in mathematics ; \328.
- Bibliography
- Includes bibliographies.
- Added Author
- Siefkes, Dirk.
- Research Call Number
- JSM 95-200 no. 328