A complete first-order logic with infinitary predicates

Publishing house / Journals and Serials / Fundamenta Mathematicae / All issues

H. Keisler Fundamenta Mathematicae 52 (1963), 177-203 DOI: 10.4064/fm-52-2-177-203