The monadic second order theory of all countable ordinals
By: [by] J. Richard Büchi [and] Dirk Siefkes.
Contributors: Siefkes, Dirk.
Series: Decidable theories -- 2; Lecture notes in mathematics -- 328. Series: Mathematisches Institut der Universit"at Heidelberg; Lecture notes in mathematics (Berlin) -- 328.
Publisher: Springer-Verlag; Springer
Published: 1973
Place of publication: Berlin
Language: eng
Number of pages: 217