Elements of mathematical logic: Model Theory (1971)

by Georg Kreisel, Jean-Louis Krivine
Venue:North-Holland