Einführung in die mathematische Logik by Alfred Tarski