Titre :	The monadic second order theory of all countable ordinals
Type de document :	texte imprimé
Auteurs :	Buchi, J. Richard ; Siefkes, D.
Editeur :	Springer-Verlag
Année de publication :	1973
Collection :	Lecture Notes in Mathematics, ISSN 0075-8434 num. 328
Importance :	Vi-217 p.
ISBN/ISSN/EAN :	978-0-387-06345-4
Langues :	Anglais
Mots-clés :	logique
Index. décimale :	LNM

The monadic second order theory of all countable ordinals [texte imprimé] / Buchi, J. Richard ; Siefkes, D. . - [S.l.] : Springer-Verlag, 1973 . - Vi-217 p.. - (Lecture Notes in Mathematics, ISSN 0075-8434; 328) .
ISBN : 978-0-387-06345-4
Langues : Anglais

Mots-clés :	logique
Index. décimale :	LNM