Henkin-Keisler models - Weaver, George (Mathematics and its applications, 1997)