First-order logic. - Springer Verlag, 1968. - ( Ergebnisse der Mathematik und ihrer Grenzgebiete neue Folge ; 43).