"Infinitary Logic: In Memoriam Carol Karp" - читать интересную книгу автора (W. D. Keuker (editor))