Keisler, H. Jerome. Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers / H. Jerome Keisler. - Amsterdam : North-Holland Pub. Co., 1971. - x, 208 p. - Studies in logic and the foundations of mathematics, v. 62 . ISBN: 0720422582 Subjects--Topical Terms: Infinitary languages.Model theory.