Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers - Keisler, H. Jerome (North - Holland, 1971)