Infinatary logic: In memoriam Carol Karp

समान संसाधन

• Logic colloquium
  प्रकाशित: (1975)
• Algebra and logic
  प्रकाशित: (1975)
• First order categorical logic
  द्वारा: Makkai, Michael
  प्रकाशित: (1977)
• Computational complexity of logical theories
  द्वारा: Ferrante, Jeanne
  प्रकाशित: (1979)
• Conference in mathematical logic, London 70
  प्रकाशित: (1972)