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.