TY - BOOK A1 - Keisler, H. Jerome. TI - Model theory for infinitary logic; logic with countable conjunctions and finite quantifiers PB - كتابخانه مركزی دانشگاه صنعتی شریف SN - 72111837 UR /book/72111837/Model-theory-for-infinitary-logic-logic-with-coun/ ER -