Infinatary logic: In memoriam Carol Karp

Documenti analoghi

• Logic colloquium
  Pubblicazione: (1975)
• Algebra and logic
  Pubblicazione: (1975)
• First order categorical logic
  di: Makkai, Michael
  Pubblicazione: (1977)
• Computational complexity of logical theories
  di: Ferrante, Jeanne
  Pubblicazione: (1979)
• Conference in mathematical logic, London 70
  Pubblicazione: (1972)