TY  - BOOK
AU  - Keisler,H.Jerome
TI  - Model theory for infinitary logic: logic with countable conjunctions and finite quantifiers 
SN  - 0720422582
PY  - 1971///
CY  - Amsterdam
PB  - North-Holland Pub. Co.
KW  - Infinitary languages
KW  - Model theory
ER  -