TY - BOOK AU - Büchi,J.Richard AU - Siefkes,Dirk AU - Müller,G.H. AU - Siefkes,D. ED - SpringerLink (Online service) TI - Decidable Theories II: The Monadic Second Order Theory of All Countable Ordinals T2 - Lecture Notes in Mathematics, SN - 9783540469469 AV - QA1-939 U1 - 510 23 PY - 1973/// CY - Berlin, Heidelberg PB - Springer Berlin Heidelberg KW - Mathematics KW - Mathematics, general UR - http://dx.doi.org/10.1007/BFb0082720 ER -