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