Elements of Mathematical Logic: Model Theory (Revised second ed (1964)

by G Kreisel, J-L Krivine
Venue:Studies in Logic and the Foundations of Mathematics, North{Holland, 1971 First edition 1967: Translation of the French Elements