LogCons: Links Links Página do Projeto LogCons na FAPESP Algebraic Semantics for Uncertainty and Vagueness Seminários GLTA-CLE e Colloquia Logicae Online Writing Lab (OWL) at Purdue University Computabilidade Funções Computáveis Lógica Fundamentos da Matemática Computação Quântica e Computação Paraconsistente e lógica: interrelações e fundamentos dos algoritmos quânticos. Anuário dos Projetos – IFCH 2010 CV (SIPEX) – Walter Carnielli (Project Coordinator) CLE e-Prints