Xavier Caicedo | Universidad de los Andes - Colômbia

• Processo: 95/06728-6
• Modalidade de apoio: Auxílio à Pesquisa - Pesquisador Visitante - Internacional
• Data de Início da vigência: 05 de maio de 1996
• Data de Término da vigência: 13 de dezembro de 1996
• Área do conhecimento: Ciências Humanas - Filosofia - Lógica
• Pesquisador responsável: Walter Alexandre Carnielli
• Beneficiário: Walter Alexandre Carnielli
• Pesquisador visitante: Xavier Caicedo
• Instituição do Pesquisador Visitante: Universidad de los Andes, Colombia, Colômbia
• Instituição Sede: Centro de Lógica, Epistemologia e História da Ciência (CLE). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
• Vinculado ao auxílio: 93/00925-9 - Aspectos matemáticos e computacionais das traduções entre lógicas, AP.TEM
• Assunto(s): Lógica aplicada Intercâmbio de pesquisadores Colaboração científica

Resumo

Permanência do Prof. Xavier Caicedo, no período de marco de 1996 a fevereiro de 1998, junto ao Grupo de Lógica Teórica e Aplicada (CLE e IFCH da UNICAMP) para atividades de ensino e pesquisa, sobretudo ligados ao Projeto Temático de Equipe (Processo nº 93/0925-9). (AU)