Einführung in die Modelltheorie und ihre Anwendungen. - Potthoff, Klaus (Die Mathematik, 1981)