The monadic second order theory of all countable ordinals /

Bibliographic Details

Main Author:	Büchi, J. Richard
Other Authors:	Siefkes, Dirk
Format:	Book
Language:	English
Published:	Berlin, New York : Springer, 1973.
Series:	Lecture notes in mathematics (Springer-Verlag) ; 328. Decidable theories ; 2.
Subjects:	Gödel's theorem. Model theory.