Elements of mathematical logic :
Kreisel, Georg
Elements of mathematical logic : (Model theory) / G. Kreisel, J. L. Krivine. - Amsterdam : North-Holland Publ. Co., 1971. - xvii, 231 p. - Studies in logic and the foundations of mathematics / Ed.: A. Heyting a.o. . - Studies in logic and the foundations of mathematics .
07204 2265 5
Logic, Symbolic and mathematical
Elements of mathematical logic : (Model theory) / G. Kreisel, J. L. Krivine. - Amsterdam : North-Holland Publ. Co., 1971. - xvii, 231 p. - Studies in logic and the foundations of mathematics / Ed.: A. Heyting a.o. . - Studies in logic and the foundations of mathematics .
07204 2265 5
Logic, Symbolic and mathematical