O professor Alfred Tarski visitou a Unicamp em março de 1975. Aproveitando esta visita, a professora Ayda Ignez Arruda, organizou, no Instituto de Matemática, Estatística e Ciência da Computação (IMECC) da Unicamp, nos dias 3 a 5 de março, o simpósio de Lógica Matemática. As conferências proferidas por Tarski foram gravadas em vídeo. Esses vídeos estão disponíveis à consulta, mediante prévio agendamento, nos Arquivos Históricos do CLE.