Email Record: Alfred Tarski and the "Concept of truth in formalized languages" :