Henkin-Keisler models - Weaver, George, (Kluwer Academic Publishers,)