Elements of mathematical logic. (Model theory) [By] G. Kreisel and J. L. Krivine. Eléments de logique mathématique, theorie des modéles. English Kreisel, Georg. Krivine, J. L. (Jean Louis), joint author. Logic, Symbolic and mathematical. QA9 .K7713 510.1 KRE Translation of Eléments de logique mathématique, theorie des modéles. Amsterdam, North Holland Pub. Co., 1967. 1967. 1967 Text xi, 222 p. eng engund Studies in logic and the foundations of mathematics