Estruturas algébricas

Hércules de Araujo Feitosa é graduado em Matemática pela Fundação Educacional de Bauru (1984), obteve o mestrado em Fundamentos da Matemática pela Unesp/IGCE/Rio Claro (1992) e o doutorado em Lógica e Filosofi a da Ciência pela Universidade Estadual de Campinas/Unicamp/IFCH (1998). Atualmente é professor doutor do Departamento de Matemática da Faculdade de Ciências da Unesp, Câmpus de Bauru. É professor do Programa de Pós-Graduação em Filosofi a da Unesp/FFC/Marília. Tem grande experiência no ensino de Lógica e Fundamentos da Matemática. Suas investigações científi cas estão voltadas para lógica, traduções entre lógicas, modelos algébricos, quantifi cadores e lógicas não clássicas.

Mauri Cunha do Nascimento graduou-se e obteve mestrado e doutorado em Matemática pela Universidade Estadual de Campinas-Unicamp, desenvolvendo trabalhos em Álgebra Comutativa. Iniciou sua carreira profi ssional na Universidade Estadual de Londrina, onde trabalhou entre os anos de 1979 e 1993. Atualmente é professor assistente doutor do Departamento de Matemática da Faculdade de Ciências da Unesp, Câmpus de Bauru