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.

A lógica clássica e a matemática – Parte III

A lógica clássica e a matemática – Parte II

A lógica clássica e a matemática – Parte I