H. Jerome Keisler. Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers. Studies in logic and the foundations of mathematics, vol. 62, North-Holland Publishing Company, Amsterdam and London1971, x + 208 pp. | Publicación