Monadic second order theory of all countable ordinals

類似資料

• Tableau systems for first order number theory and certain higher order theories
  著者:: Toledo, Sue
  出版事項: (1975)
• Proceedings of the second international conference on the theory of groups
  出版事項: (1974)
• Proceedings of the second Japan-USSR symposium on probability theory
  出版事項: (1973)
• First order categorical logic
  著者:: Makkai, Michael
  出版事項: (1977)
• Barrelledness in topological and ordered vector spaces
  著者:: Hussain, T
  出版事項: (1978)