Andrea Loparic apresentando a palestra Valuations for Propositional Calculi with Intuitionistic Implication no auditório do IMECC Adicionar a área de transferência
Marek Nasieniewski apresentando a palestra A Method of Generating Modal Logics Defining Jaskowski's Discussive Logic D2 no auditório do IMECC Adicionar a área de transferência