Publicado em 27/02/2022
DEFESA DE DISSERTAÇÃO DE MESTRADO: “Construindo Tableaux para Lógica Linear Intuicionista” do aluno Hugo Hoffmann Borges
Data: 11/03/2022 às 09hrs
Local: Videoconferência
Orientador: Luiz Carlos Pinheiro Dias
Pereira
Comunicação[…]