Model theory for infinitary logic logic with countable conjunctions and finite quantifiers
Keisler, Howard Jerome.
Amsterdam London North-Holland Publishing Co.
1971
bibl p193-203
Infinitary languages.
Model theory.