OPAC

Decidable theories


1	2 The monadic second order theory of all countable ordinals / J. Richard Büchi, Dirk Siefkes : Germany,: U.S.. - Berlin ; New York : Springer , 1973
2	1 Büchi's monadic second order successor arithmetic / Dirk Siefkes Berlin : Springer-Verlag , 1970

出版情報	Berlin ; New York : Springer-Verlag
書誌ID	TB10014125
NCID	BA06659608