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

A tradução da lógica proposicional clássica na lógica proposicional intuicionista – Parte II Atenção: Na semana seguinte, dia 14/10, não haverá seminário. Devemos retornar no dia 21/10.

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

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.

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

Noções básicas de LaTeX — Parte IV

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

Noções básicas de LaTeX — Parte II Atenção: Nesta semana o seminário ocorrerá excepcionalmente na sala 20 do Edifício dos Ambientes dos Professores do CCHLA.

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

O seminário entrará de recesso até o próximo período letivo.