1
Model theory for infinitary logic [E-Book] : logic with countable conjunctions and finite quantifiers /