A tradução da lógica proposicional clássica na lógica proposicional intuicionista – Parte III

Devido a convocação para reunião extraordinária do Departamento de Filosofia em horário conflitante, está cancelado o encontro do dia 23/09/2022.

Noções básicas de LaTeX – Parte I