Infinatary logic: In memoriam Carol Karp - Kueker, D W (Lecture Notes in Mathematics, No.0492, 1975)