Defaut operators

• Processo: 94/02127-5
• Modalidade de apoio: Auxílio à Pesquisa - Reunião - Brasil
• Data de Início da vigência: 25 de julho de 1994
• Data de Término da vigência: 30 de julho de 1994
• Área do conhecimento: Ciências Humanas - Filosofia - Lógica
• Pesquisador responsável: Antonio Mario Antunes Sette
• Beneficiário: Antonio Mario Antunes Sette
• Instituição Sede: Instituto de Matemática, Estatística e Computação Científica (IMECC). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
• Assunto(s): Eventos científicos e de divulgação
• Palavra(s)-Chave do Pesquisador: Defaut | Logica | Proto-Topos | Topos | Ultrafiltros