Tarski, Alfred (1901-1983) Matemático e lógico de origem polonesa (nascido em Varsóvia); professor na Universidade de Varsóvia de 1926 a 1939, radicou-se depois nos Estados Unidos onde foi professor na Universidade da Califórnia, em Berkeley (1942). Tarski notabilizou-se por sua contribuição a questões de fundamentos da matemática e de lógica, sendo particularmente importantes seus trabalhos em semântica formal e sua formulação do conceito de verdade para as linguagens formais. Obras principais: O conceito de verdade nas linguagens formais (1935), Introdução à lógica matemática (1936), Lógica, semântica e metamatemática (1956). [Japiassu]
Tarski
