Alfred Tarski and the "Concept of truth in formalized languages" : A Running Commentary with Consideration of the Polish Original and the German Translation.