The monadic second order theory of all countable ordinals
Enregistré dans:
Auteurs principaux : | , |
---|---|
Autres auteurs : | |
Format : | Livre |
Langue : | anglais |
Titre complet : | The monadic second order theory of all countable ordinals / J. Richard Büchi,... Dirk Siefkes,... |
Publié : |
Berlin [etc.] :
Springer-Verlag
, 1973, cop. 1973 |
Description matérielle : | 1 vol. (VI-217 p.) |
Collection : | Lecture notes in mathematics ; 328 |
Titre de l'ensemble : | Decidable theories vol. II |
Sujets : | |
Documents associés : | Autre format:
The monadic second order theory of all countable ordinals |
- 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