Elements of mathematical logic. Model theory (1967)

by G Kreisel, J-L Krivine
Venue:Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Co