Keisler, H. Jerome

Model theory for infinitary logic logic with countable conjunctions and finite quantifiers by H. Jerome Keisler - Amsterdam : North-Holland Publishing, 1971 - x,208p. : illus.; 23cm - Studies in logic and the foundations of mathematics vol.62 .

bibl p193-203

0720422582


Infinitary languages
Model theory