Model theory for infinitary logic logic with countable conjunctions and finite quantifiers - Keisler, H. Jerome (Amsterdam North-Hollanf Publishing Company, 1971)
Keywords: Infinitary languages; Model theory