"In a logic seminar he gave at the University of Warsaw between 1927 and 1929, Tarski proved several results that made reference to notions that later would be called "semantical", in particular results about the notions of definability and of truth in a structure (see Vaught"