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)