Simposio latino-americano de lógica matemática: resumos de conferências e comunicacoes (Universidade Estadual de Campinas, 1970)