Henkin-Keisler Models - Weaver, George (Springer US, 1997)