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 ISBN: 0720422582 Subjects--Topical Terms: Infinitary languagesModel theory