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