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 .

0720422582


Infinitary languages.
Model theory.