Metodoloǵıa de Proyectos Formativos aplicada a un curso de Lógica Matemática