Tarski, Alfred: Einführung in die mathematische Logik. 5. Aufl., erw. um den Beitr. "Wahrheit und Beweis" [von Rainer Stuhlmann-Laeisz übers.]. Göttingen, Vandenhoeck & Ruprecht, 1977. ISBN: 3525405405 (Moderne Mathematik in elementarer Darstellung, 5).Gr.-8°. 285 S. kart. (Umschlag beschabt und keknickt, Papier leicht gebräunt).