Tarski, Alfred,1901-1983,author.