Elements of mathematical logic (model theory) /
Kreisel, Georg.
Krivine, J. L.(Jean Louis)
Amsterdam : North-Holland,
1971, c1967.
Logic, Symbolic and mathematical.
Model theory.