Final del 22/11/14 (Lógica y Computabilidad)