Tableau systems for first order number theory and certain higher order theories

類似資料

• First order categorical logic
  著者:: Makkai, Michael
  出版事項: (1977)
• Higher order contact of submanifolds of homogeneous spaces
  著者:: Jensen, Gary R
  出版事項: (1977)
• Monadic second order theory of all countable ordinals
  著者:: Buchi, J Richard
  出版事項: (1973)
• Number theory day
  出版事項: (1977)
• Barrelledness in topological and ordered vector spaces
  著者:: Hussain, T
  出版事項: (1978)