Antonio Mário Antunes Sette
Nasceu no Recife, em 29 de julho de 1939. Antunes Sette graduou-se em bacharelado em Matemática pela Universidade Federal de Pernambuco (1967), obteve o grau de mestrado pela Universidade Estadual de Campinas e o grau de doutor em pela Universidade de São Paulo em 1977.
Iniciou sua atividade profissional em 1966, como professor da Universidade Federal do Rio Grande do Norte. Em 1968 foi contratado pela Pontifícia Universidade Católica do Rio de Janeiro e, logo depois, em 1969, pelo Instituto de Matemática Estatística e Ciência da Computação (IMECC) da Unicamp. Voltou à sua cidade natal para lecionar na UFPe, a partir de 1971.
Foi ainda membro fundador da Sociedade Brasileira de Lógica (SBL) em 1979, da qual foi vice-presidente de 1979 a 1980, e tesoureiro de 1981 e 1982. Faleceu em Campinas, no dia 13 de agosto de 1999.
