Teorija modelej - Keisler, H. Jerome; Čcheng, Čen-čung (Studies in Logic and the Foundations of Mathematics, 1977)