21/07/2000, Friday, 16:30–17:30 Room P3.10, Mathematics Building Marcelo Coniglio, Universidade Estadual de Campinas Um enfoque modelo-teórico das traduções entre lógicas