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

Brincando de Pega-Varetas com a lógica proposicional clássica