Keisler, H. Jerome.

Model theory for infinitary logic; logic with countable conjunctions and finite quantifiers/ [By] H. Jerome Keisler. - Amsterdam ; North-Holland, 1971. - x, 208 p.: 23 cm. - Studies in logic and the foundations of mathematics v. 62. .

Bibliography: p. 193-203.

0720422582

79140490

Ne71-33


Infinitary languages.
Model theory.

511.3 / K27m