Einführung in die mathematische Logik - Tarski, Alfred (1966)