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