Saudade de Logica Matemática, melhor matéria do curso.