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)