TY - BOOK AU - Buchi,Richard J. AU - Siefkes,Dirk TI - The monadic Second order theory of all countable ordinals SN - 3540063455 : U1 - 510.82 PY - 1973/// CY - Berlin PB - Springer-Verlag KW - Mathematical analysis KW - Mathematics KW - Data processing KW - Electronic data processing ER -