First-Order Logic. - Smullyan, Raymond M. (Ergebnisse der Mathematik u. ihrer Grenzgebiete, 1968)