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)