A complete first-order logic with infinitary predicates

Wydawnictwa / Czasopisma IMPAN / Fundamenta Mathematicae / Wszystkie zeszyty

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