Elements of mathematical logic : model theory /
G. Kreisel and J. L. Krivine
- Amsterdam : North-Holland Pub., c1967
- xi, 221 p. ; 23 cm.
- Studies in logic and the foundations of mathematics .
Translated from the French into English Translation of : Elements. de togique mathmatique, theorie des mode