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

Gelijkaardige items

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