The monadic second order theory of all countable ordinals
Kaydedildi:
| Yayımlandı: | Decidable theories, 2 |
|---|---|
| Asıl Yazarlar: | , |
| Diğer Yazarlar: | |
| Materyal Türü: | Livre papier |
| Dil: | Anglais |
| Baskı/Yayın Bilgisi: |
Berlin [etc.] :
Springer-Verlag
1973, cop. 1973.
|
| Seri Bilgileri: | Lecture notes in mathematics
328 Decidable theories / edited by G. H. Müller and D. Siefkes II |
| Konular: | |
| Autres localisations: | Voir dans le Sudoc |
| Consulter le titre dans une bibliothèque: | |
| Edition sous un autre format: | • The monadic second order theory of all countable ordinals, J. Richard Büchi,... Dirk Siefkes,..., 201X, Berlin [etc.], Springer, Lecture notes in mathematics, 978-3-540-46946-9 |
| LEADER | 01517nam a22003017a 4500 | ||
|---|---|---|---|
| 001 | 376447 | ||
| 008 | 891128t19731973xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN006783066 | ||
| 020 | |a 3540063455 (Berlin) | ||
| 020 | |a 0387063455 (New York) | ||
| 041 | 0 | |a eng | |
| 082 | |a 510/.8 s | ||
| 084 | |a 02-02. 1991 | ||
| 100 | 1 | |a Büchi, Julius Richard, |d 1924-1984. | |
| 245 | 1 | 0 | |a The monadic second order theory of all countable ordinals |c J. Richard Büchi,... Dirk Siefkes,... |
| 260 | |a Berlin [etc.] : |b Springer-Verlag, |c 1973, cop. 1973. | ||
| 300 | |a 1 volume (VI-217 p.) ; |c 26 cm. | ||
| 490 | 1 | |a Lecture notes in mathematics |v 328 | |
| 490 | 0 | |a Decidable theories / edited by G. H. Müller and D. Siefkes |v II | |
| 504 | |a Bibliogr. à la fin de chaque partie | ||
| 505 | 0 | |a P. 1 -- The monadic second order theory of [omega subscript 1] / J. Richard Büchi -- P. 129 -- Axiomatization of the monadic second order theory of [omega subscript 1] / J. Richard Büchi, Dirk Siefkes | |
| 650 | |a Gödel, Théorème de | ||
| 650 | |a Théorie des modèles | ||
| 700 | 1 | |a Siefkes, Dirk. |4 aut |4 edt | |
| 700 | 1 | |a Müller, Gert Heinz, |d 1923-2006. |4 edt | |
| 773 | 0 | |t Decidable theories |f edited by G. H. Müller and D. Siefkes |g 2 | |
| 776 | 0 | |0 155207105 |t The monadic second order theory of all countable ordinals |f J. Richard Büchi,... Dirk Siefkes,... |d 201X |c Berlin [etc.] |n Springer |s Lecture notes in mathematics |z 978-3-540-46946-9 | |
| 997 | |0 376447 |1 Livre papier |a Ressource papier |c 0/Orléans/ |c 1/Orléans/IDP/ |z Orléans, IDP, LNM 328 | ||