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