Lógica Aplicada a Computação
Segundo semestre/2003