Ana Teresa Martins apresentando a palestra A Proof Theory for the Paraconsistent Logic of Epistemic Inconsistency no auditório do IMECC Adicionar a área de transferência
Andrea Loparic apresentando a palestra Valuations for Propositional Calculi with Intuitionistic Implication no auditório do IMECC Adicionar a área de transferência
