Download Model Theory For Infinitary Logic: Logic With Countable Conjunctions And Finite Quantifiers