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 .