Einführung in die mathematische Logik - Tarski, Alfred 1901-1983 (Vandenhoeck & Ruprecht, 1969)